Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  e75f07d15fd64c4f844b096b846f2a282202cb5a

Opera mini header tweaks

Apply hacks to render search box correctly

Change-Id: Ib1b96db905de75fce162875e53d4a93fbbc6161a