Updated mediawiki/extensions
Project: mediawiki/extensions/CreditsSource  f46d3aae73d48de86649716b5622b4338d60cdc5

Migrate to JSON i18n

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

Change-Id: Id0e7f989de8a02b6c051ee16d94a297106ea3258