Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  6cca3d83beeffea87175ea6b9236491cacf3d3b1

Push search bar on special pages to stable

History design depends on it and it is far easier to simply push
it then spend time trying to fix up the history page header.

Change-Id: I67ec4158dffecdd1c5a97d124f42e23e6185fd7a