Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  fc9a470c94772a5adb2a735df684df80ac7d1521

Remove dead search button code

No longer used anywhere

Change-Id: Id1d404d55fb416dea7803b49f8fbae8226ef377b