Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
without shim. No shim because this extension didn't add an entry to
$wgExtensionMessagesFiles.

Change-Id: I96f749197c8f3315257442d060326b9021c1dbe1