Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/123345
Change subject: Migrate to JSON i18n
..
Migrate to JSON i18n
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with
jenkins-bot has submitted this change and it was merged.
Change subject: Migrate to JSON i18n
..
Migrate to JSON i18n
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.
Change-Id:
Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/121969
Change subject: Migrate to JSON i18n
..
Migrate to JSON i18n
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with
jenkins-bot has submitted this change and it was merged.
Change subject: Migrate to JSON i18n
..
Migrate to JSON i18n
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.
Change-Id: