Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  702a3bfeb942aabd3752e015262a995f0945b5d5

fix formatting typo

Change-Id: Ie55da0a1a6dd499f3f27df634a8061984f8ac8f5