Updated mediawiki/extensions
Project: mediawiki/extensions/Agora  bcdf55670e70f8bc9c9b9ab9387c143a4a10a2c0

Migrate to JSON i18n

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

Change-Id: I1e4182d09b4157f340e5cafe0b21928b51671134