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

Handle deleted redirects properly

When a redirect is deleted we need to update it's target entry in
the index as well. ArticleDeleteComplete is too late to do this.

Bug: 65638
Change-Id: I80ae0413d01b302146b4f1fd9569b80009e9b1c1