Migrate to JSON i18n

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

Change-Id: Idbe4ef9a2eaacf1b72efb9b0d36f379c7b5f6d7e