Migrate to JSON i18n

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

Change-Id: Ic9f5ffcb5b1fb2cd09a214e4d873164c7d6c799c