Updated mediawiki/extensions
Project: mediawiki/extensions/Contributors  83a3d046734fc932f6b338b5c8bff7dac679b5fc

Migrate to JSON i18n

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

Change-Id: I9871dd001c4447b32dfb2314e6c0a591feaea6b3
Updated mediawiki/extensions
Project: mediawiki/extensions/Convert2Wiki  041bac75adc2b86e65cacee203c381cc588d307b

Migrate to JSON i18n

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

Change-Id: Idee65ac96fec18ecc5df8b4aefee514753fc7070
Updated mediawiki/extensions
Project: mediawiki/extensions/CopyToClipboard  e7ce559bd1605111340de770ce3bc5d31b3a7e5d

Migrate to JSON i18n

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

Change-Id: Ia4f26256fda53ad93bcb8f6b6870efdc1a1b0688