Updated mediawiki/extensions
Project: mediawiki/extensions/InteractiveBlockMessage  076896cd7f37bbc70b0ee0af36255489d2991f29

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I5fb026fa325ae4a118653d6563d2e863c8d37e8a
Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  315c2a8a2a5a3398122fd4b924c7db136d4bcaa1

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I506e49a65ef5d698f01b0d89d76a0afdd823f1c4