Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  779f62f16bfa62f2f10bb4b25c091a8eb05f463b
null
change mf-settings.js into library rather than module

allow easy access to useful functions
create 2 modules for mobile options page specific javascript
and javascript for stopping mobile redirects when clicking desktop
link

Change-Id: I97e1cc4b23db9d1d6df67fb8fcddefa49d3e0b08