Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  06dbc092460d241d0ad045fec106d4d9bf82fe0b

Make the universe explode by making a desktop AND mobile skin called Minerva

This fills in various functions to make the skin work for desktop as well
as mobile

On mobile it adds reporttime to allow us to see how long it took for
the page to be served

To enable:
Add $wgValidSkinNames['minerva'] = "Minerva"; to LocalSettings.php
This kicks off some work which can lead to consistency between
desktop html markup and mobile html markup by beginning to surface
the mobile skin on the desktop site o_O
To test on desktop apply query string parameter ?useskin=minerva
or set $wgDefaultSkin = 'minerva';
Currently desktop skin is just bare bones content
with search (uses desktop search javascript)

TODO: Make Special:MobileMenu work
TODO: Ideally want to use a template engine such as mustache

Change-Id: Icfb9e570da7a15ea154ca1377fb245725279146d