Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4fa3ee2f1142396c7af84453b9497f7b74603615

Optimise non-js experience for Opera Mini

Optimise for usability/readability not design.
It's more important that search icon and input appear on same line

Change-Id: Ib50a6809fdfa6740fba8ad57f6d6f11820347124