Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  7319701f6199e0a6bbdce64c7db965f0ab7278a6

Followup. Pressed save + merge too fast

Change-Id: Iffd7b52f15779f730a7ffea83f96e82b4c6b0b4f