}
- 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;