Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  d3f8c1491254f0d92b82c46394a91bb7941562b7

Use a more efficient query for batch indexing

Remove a WHERE clause from a query and let the in process filtering handle
the result.  This speeds up the query by two orders of magnitude on large
wikis.

Change-Id: I9e7724c59e5d4160580ca1cd4932e90b63b29ea7