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