Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  5d2833c950598b64312ad71a2d8e2b8d2e6eacb2

Add index script option to just do allocation

Change-Id: I7c55d3cd70ba43e70e3a645a6d7fc406c438fa29