Switch i18n file to JSON format

Now requires MediaWiki 1.23 or newer.

Change-Id: I27c3ec2a2e1573515a4090fc1d07e07aee45c65f
Merge "Switch i18n file to JSON format"