Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b1ec620bcfc366ebc3fbb909fcc21982a88e358a

Get rid of $wgExtMobileFrontend

Change-Id: Ia21b12ec9da02e00404a4572d13ec2d91db29c47