Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  a3a048120bb1a597387e4c37281e5ba200f6da9d

Doc fix

Change-Id: Ifc7d232f85bcd553ed3a34eb5d86e0adb75ed71f