Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a9e6db4a32f407fb6a4ecb768697c00c60a8258b

Hygiene: Remove title exists check on Special:History

Without 404 it shows "No history matches the filter provided."
This is also accurate and probably more helpful considering
pages can be deleted. Restore the banner for non-existant pages.

The banner for non-existent pages will show a red link.

Change-Id: Ia0a612af3ff51c905eda8d9dbcbbefa10ee09fa6