Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  5eee72469327ed88f3163ec424ac25b9de52b39c

Preserve order of search results

Change-Id: If081538840e7a699665b8982480dfa3393f3dde9