Remove "use MobileFrontend\MenuBuilder".
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 20 Nov 2018 21:39:43 +0000 (21:39 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Tue, 20 Nov 2018 21:39:43 +0000 (21:39 +0000)
git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrreport/trunk@2787 7aebc617-e5e2-0310-91dc-80fb5f6d2477

wrreport_body.php

index 43db28768415aca9d66d32d2524e90a006e4e4ee..633e392472d805e3494bc4411bbf1d7b5c5a1d15 100644 (file)
@@ -70,8 +70,6 @@
 //             Just include the sledrun(s) if the condition is fulfilled.
 //
 
-use MobileFrontend\MenuBuilder;
-
 
 // Constants
 // ---------
@@ -1117,7 +1115,7 @@ class WrReport {
                if ($name === 'discovery') {
                        // delete "Random page". As a removeEntry function is missing,
                        // a new menu is built here without the random page.
-                       $new_menu = new MenuBuilder();
+                       $new_menu = new MobileFrontend\MenuBuilder();
                        foreach ($menu->getEntries() as $menuEntryRepresentation) {
                                $new_entry_name = $menuEntryRepresentation['name'];
                                if ($new_entry_name == 'random') continue;