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