Migrate to JSON i18n

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

Change-Id: I1233e6eb7511474cb2dc2a28a04d91a6d21b7d3b