Updated mediawiki/extensions
Project: mediawiki/extensions/FanBoxes  0a2c6f4117770423dbf1ddd4b42c34840ac30e3f

Migrate to JSON i18n

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

Change-Id: If755dba81aaabb69ef6ff6636ee4076ec2e0f68b
Updated mediawiki/extensions
Project: mediawiki/extensions/ExternalData  fa0eb644531c435f64d3a02125498e3cf5953a14

Migrate to JSON i18n

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

Change-Id: I935215149f024c479a1b4ab3910e10206a904e02