Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalUserPage  5a6f1474f9e52680700bfb3f3aaff44406f6420d

Switch i18n file to JSON format

Now requires MediaWiki 1.23 or newer.

Change-Id: I27c3ec2a2e1573515a4090fc1d07e07aee45c65f