Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
without shim, as B/C is not available for MobileFrontend.

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