Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I862aaa17daec2b79e521ae849b59a3984ae6eaa4