Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9bcb93b485448a24c4cc410a5dd0b8b729948edb
null
Fix switching to HTTPS

Change-Id: I9d151dda0979ea7b69231e6868cf6ad42da55a3c