Updated mediawiki/extensions
Project: mediawiki/extensions/GoogleDocTag  c8a629bc6cef303ba923c1e6fd8ebd95a5a6adb8

Migrate to JSON i18n

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

Change-Id: I70f8eef4a2af04f6242687d5bd864aae4866b920