Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  3fed2102e043884be4e1ce57b97646ff18ff8c50

Story 1099: Better search UX

Bonus fixes:
* search in progress indication
* aborting old requests if search query changed
* double check if response is the response to the latest query
* clean up OverlayNew CSS

Change-Id: I842ff097814f66cb7cca4949b5ccadff834029c4