Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  da3c2ce1cfdf668cd5d99c44f8e0020affff6654

Migrate to JSON i18n

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

Change-Id: Iafc62a5c7cf01b791abed451be3b367f2d7252ef