Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  a84230ddb1b9e00c0cbcc2ebb21b0ad6f3a9fa96

Doc update on updatePages()

Change-Id: I632297dbb55fec20125f11fc1bca0f2946676163