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