Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  87aaa11fac05689d1900efd42dd882d42b4b5769

Use prefixed title in Special:History banner

Bug: 57119
Change-Id: Ibad184ac3d7fb62f605b773e0f7dbba3c5a81d28