Updated mediawiki/extensions
Project: mediawiki/extensions/Campaigns  9d83f670a3d5cb3b29216dbe21a830986d407ce2

Migrate to JSON i18n

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

Change-Id: I91ed16e6835a1a264a21184ce17bee0bb85c5bf7