Updated mediawiki/extensions
Project: mediawiki/extensions/Annotator  62ea79d06d7743b60f43026a55ce07ebe72bcc70

Migrate to JSON i18n

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

Change-Id: I941a636e3040504318c1441f97feca16041f2c4a
Updated mediawiki/extensions
Project: mediawiki/extensions/Arrays  72dbf7b691c16fd8601f26efc0f6825a250e46ce

Migrate to JSON i18n

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

Change-Id: I70cc912b102a68ac9bc7c96ab90ff750343c8dfc