Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  74b3625d87a8ae58f794e3dc3ea39976ddb5f63c

Hygiene: Add alias for Special:History

This is being added to core but the change from History to MobileHistory
seems to have been a little premature and is throwing warnings. This
supresses them.

(SpecialMobileHistory is still Special:History just a different implementation of it)

Change-Id: If61beb984e8e2c82375a85a7d4d629e6a148f47e