Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  d7f72a3020b2fe33464f64e2753da39c4442ed87

Fix profiling error

Start profiling where it actually matters

Change-Id: I85fff08f937abb3f8a42949fb97e29032b961b86