Updated mediawiki/extensions
Project: mediawiki/extensions/CloseWikis  bc881e09595c5014ca76ef3db98de2637f3d1bb8

Migrate to JSON i18n

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

Change-Id: I79e8814735c31900dce3f29491640b9c0bcd11d2
Updated mediawiki/extensions
Project: mediawiki/extensions/Commentbox  d2001dc18707b781f8d257958d2e8cd33eea1427

Migrate to JSON i18n

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

Change-Id: I9ee827a9b5fbd0a52d7938423cfb193c3568e121
Updated mediawiki/extensions
Project: mediawiki/extensions/CommentPages  4130445623f5bbcc3716b9ac33c4fc3278fd4f0e

Migrate to JSON i18n

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

Change-Id: I5bccbc8ab969502bedd287799915aae20d4dff5f
Updated mediawiki/extensions
Project: mediawiki/extensions/CommunityTwitter  2df8f21ce8ef3462f2e47f3c4b801103532b63e2

Migrate to JSON i18n

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

Change-Id: I3453d5f708648a38c48dd0d7652fb819c0c8d710