Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  a49ab4222cacab1aaa01b3fb39e8395542a1c388

Don't respect the "show redirects" option

MWSearch has never respected this and always included redirects. You always
want redirects. I0ebe321a proposes to remove it from MediaWiki entirely.

We also no longer emit the option on the Special:Search.

Change-Id: Icc7514ef3fb6224711aaea7bcff6d423f9c94f40