Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  4dfb425e80e840d8e03f346707420b553f02d114

Fix maintenance script when index has the alias

We were inferring a weird identifier and not properly deleting the index.

Bug: 63196
Change-Id: Ief8008cffa775c008f2c14dc77cc533d9f816631
Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  b59e241202c0ac17a73df3d303ae369660aa3a10

Fix a warning

Some code treats the version numbers as strings and splits them on '.'.  Php
toStrings them to split them but that causes warnings if they don't have a
decimal part.

Change-Id: I0e5cad6367dc3ef22fd4fadeda8b4bea78d866e4