Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  88128ef2a14fe3f9ea9d9e4432bc470681cc6cc5

Profile actual request in Searcher::search()

Change-Id: I1e161622364e96214dc27684064922497f9fa52a