Updated mediawiki/extensions
Project: mediawiki/extensions/E3Experiments  279cfa302b7a2f77a9c7405280140d09759b6a1c

Migrate to JSON i18n

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

Change-Id: Ibf6cef837c4fa1921918382c4176047221fa42a5
Updated mediawiki/extensions
Project: mediawiki/extensions/CryoKey  9835c4250ab0298747b3e60afd3e6265f59bbc9a

Migrate to JSON i18n

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

Change-Id: I3fac715049c9fd1c5da09040a786b51082abaf4f
Updated mediawiki/extensions
Project: mediawiki/extensions/CSS  a3e3b1a772f5ff8a31011bc4ed91647420279df5

Migrate to JSON i18n

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

Change-Id: Iae464affd3fee133c51bef4468ae1f44925632c6
Reviewed-on: https://gerrit.wikimedia.org/r/122309
Reviewed-by: Raimond Spekking <raimond.spekking@gmail.com>
Tested-by: Siebrand <siebrand@kitano.nl>