Updated mediawiki/extensions
Project: mediawiki/extensions/TextExtracts  da61ddd51202ae62868083d5034f8cf758fbcb32

Migrate to JSON i18n

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

Change-Id: Idbe4ef9a2eaacf1b72efb9b0d36f379c7b5f6d7e