Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  167eaea01e91e7339b406f6ebdcf347bcfb76b1a

Document mf-stop-mobile-redirect.js

Change-Id: Iaecfea38df3eeb8a8d042cbb0a5db0ce94410ad3