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