Updated mediawiki/extensions
Project: mediawiki/extensions/CleanChanges  eb714783d992b25170ef01a563a064071f9abf09

Migrate to JSON i18n

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

Change-Id: Iae38dfcf38c994307c055e8b079447a5f40ca690