Updated mediawiki/extensions
Project: mediawiki/extensions/RandomRootPage  e7a1af6a23817f12326b69236b981a82abf63b02

Migrate to JSON i18n

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

Change-Id: I93d84d2099cc392837e4494c1533b3c54fb12b0d
Updated mediawiki/extensions
Project: mediawiki/extensions/RelatedArticles  09f973f56a1dc7e3268acd8c05f4ffab061bc249

Migrate to JSON i18n

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

Change-Id: I4a71a12bebd4546e26d76f09e121ff38950074c6
Updated mediawiki/extensions
Project: mediawiki/extensions/RelatedSites  c209963ad3beb32bde6ddc6ebe45a53890549130

Migrate to JSON i18n

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

Change-Id: Iacefbfc0848319d366446f796b837070ed9d6fa9