Migrate to JSON i18n

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

Change-Id: Ie22dd2871d794a3cf6337118da10673a5cf7f379
Merge "Migrate to JSON i18n"