Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8cf671d8371d3480b2e4fe0422313ea8be79f572

Cleanup: deleted unused file

Change-Id: I083ebddbde8c4110d6aa0aaa55b28150a2956144