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