Updated mediawiki/extensions
Project: mediawiki/extensions/DoubleWiki  e9eeb3b999b4bebd242fadb9882f799f7b6aea3d

Migrate to JSON i18n

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

Change-Id: Id461561bde71f299236648ba17aaaff70f7f676c
Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  60fae80810c47054cd4e4d7a360dff0d6580e594

Migrate to JSON i18n

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

Change-Id: I476088a2e9a87a83514056bfcfc999469bf9aec0