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