Migrate to JSON i18n

Procedure per https://www.mediawiki.orgwiki/Manual:GenerateJsonI18n.php
without shims. Examples don't need one.

Change-Id: Ie5e9375ecb0d882ded1c3399188ddcb0c9864a0a