Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  02a7037c5583a83c4ce820da4f81c94dd989f072

Use ProfilerSection where possible

It's much easier for avoiding mismatched profiler calls.
Also fix a mismatched in/out call on the wrong side of a continue.

Change-Id: Idc5b597c6441bb4ebb581a1cb47450547e71484a