Remove "use MobileFrontend\MenuBuilder".
[philipp/winterrodeln/mediawiki_extensions/wrreport.git] / extension.json
2018-11-20 philippAdd menu entry "Regionen".
2018-02-05 philippIncrease the version number to 3.0.2.
2017-01-23 philippIncreased the version number to 3.0.1.
2016-12-05 philippIncrease version number.
2016-12-05 philippRemoved wrreport.php - now the new extension.json syste...
2016-12-05 philippRenamed wrreport.body.php to wrreport_body.php.
2016-12-05 philippAdded extension.json created by convertExtensionToRegis...