Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  120ee15ff08a3042a8bdbb335eafcebcd61470c0

Make search slightly faster

Chad and Nick say that 300ms delay is totally OK for prefix search.

Change-Id: If119143c9fbaadfe94ba11344bf2176863b9f9df