Updated mediawiki/extensions
Project: mediawiki/extensions/Interwiki  380f9ba26fb4c69b6f86ed978916de03064bcf36

Migrate to JSON i18n

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

Change-Id: I5a2a9556e5b35000b2be0338f9f0e883eb2a56cb
Updated mediawiki/extensions
Project: mediawiki/extensions/Nuke  f37ea12759f27d6fc02a65eee1179b8baf29e203

Migrate to JSON i18n

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

Change-Id: I38d69b97f140d46c2fc5db6a8d81e5138ac7c8d9