Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  37b4f2e9bfd236ee269624f91a6a983363ebc813

Add support for ignoring scanned plugins

This allows you to ignore a plugin without removing it from Elasticsearch.
That is important because removing it requires a rolling restart of
Elasticsearch and that takes a while and isn't possible on a wiki by wiki
basis.

Change-Id: I9902509696192c6da8d669801070a3650e69a1f4