Change type of MenuBuilder to avoid an exception.

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

diff --git a/wrreport_body.php b/wrreport_body.php
index c847e862b105a4b06675bc2c6572229810084ac3..d991624fd5927cf40096fe0db61e73680127975a 100644 (file)
--- a/wrreport_body.php
+++ b/wrreport_body.php
@@ -1109,11 +1109,11 @@ class WrReport {
        }
 
 
-       public static function MobileMenuHook($name, \MobileFrontend\MenuBuilder &$menu) {
+       public static function MobileMenuHook($name, \MediaWiki\Minerva\MenuBuilder &$menu) {
                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 MobileFrontend\MenuBuilder();
+                       $new_menu = new \MediaWiki\Minerva\MenuBuilder();
                        foreach ($menu->getEntries() as $menuEntryRepresentation) {
                                $new_entry_name = $menuEntryRepresentation['name'];
                                if ($new_entry_name == 'random') continue;