Re: [WikimediaMobile] How to put Special:SpecialPages into the MobileFrontend menu?

Currently there is no level of configuration on the mobilefrontend menu. I think making this configurable via LocalSettings is worth exploring. Something like $menu = array( 'discovery' => ( 'MainPage', 'Special:Random', 'Special:Nearby', ) 'user' => 'Special:Watchlist' ); FWIW and slightly off topic I really dislike MediaWiki:Sidebar and would prefer it doesn't make it's way into the mobile skin in any form. I think using a wiki page to edit interface elements doesn't lend itself well to a separation of concerns. When I first encountered a different menu for Vector which had a slightly different random url on Wiktionary it was not clear to me what was going on. I wasted a lengthy amount of time trying to work out what was going on. I think doing this sort of thing in LocalSettings.php or even better via a skin customisation special page would be a much better approach. An early form of this bug can be found in https://bugzilla.wikimedia.org/show_bug.cgi?id=30902 (but as stated this menu is different from MediaWiki:Sidebar) On Wed, Apr 2, 2014 at 11:36 AM, 積丹尼 Dan Jacobson <jidanni(a)jidanni.org> wrote: -- Jon Robson * http://jonrobson.me.uk * https://www.facebook.com/jonrobson * @rakugojon