Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  bf990d48cc91ab282fee8678acc4ac83e0e50f2c

Improve search interaction experience for low end devices

On special:search
* Hide .mw-search-profile-tabs
* Show default search form if non-js device

Core dependency: Ic6ec29817ab7deadc6bc7125f8b4cd16686baa04
Change-Id: I54463f41f5237899f3ad0f60a7a2845cae96c417