Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8475c74e2ba8f93b7c7ab79f68323702c623b430

Hygiene: Remove unused files

Change-Id: I52f5a5c17c6341822b3bacf93f0f215379da5728