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

Use filtered query rather than results filtering

It isn't super clear from Elasticsearch's documenation but this is
supposed to be faster.  The Elasticsearch documentation is being fixed
so we should switch as well.

Bug: 56723
Change-Id: I379dd0e429b7231854fdc52d37ed307c954eed2a