Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  5f4b734b3fb3058bb87c4ca030f8e36070d38d72

Bug 46906: Load mobile options at top of page

Remove dependency to mw.mobileFrontend and add dependency
to jQuery (rewrite in jQuery)

Change-Id: I70dd777fb208439baf17066104cd7cb95a3e23dd