Remove "use MobileFrontend\MenuBuilder".

git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrreport/trunk@2787 7aebc617-e5e2-0310-91dc-80fb5f6d2477

diff --git a/wrreport_body.php b/wrreport_body.php
index 43db28768415aca9d66d32d2524e90a006e4e4ee..633e392472d805e3494bc4411bbf1d7b5c5a1d15 100644 (file)
--- a/wrreport_body.php
+++ b/wrreport_body.php
@@ -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;