Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalContributions  1b7dd6610ff8b0002056c4e2d9113246d861bf80

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I254c251e38974a374e5ff1c9a9babde97c0cf97a