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