Change-Id: I60c586418679fd5709aef4b9e23e814c45dfb35b
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php with shim. Change-Id: Ifcaf0e8516cd92587fc5e51a580a53f4158cdb6e