Updated mediawiki/extensions
Project: mediawiki/extensions/DynamicPageList  97b90cb87ec17f8f03aa64d336e9d03f2baab354

Migrate to JSON i18n

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

Change-Id: I34db02b5e00a4f8debc092d3927f07f16bf45e6c
Updated mediawiki/extensions
Project: mediawiki/extensions/Comments  17f7c6c10cd043d2e9e62d9f9254502b95ca83c8

Migrate to JSON i18n

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

Change-Id: I95ba97dbc844d47f4f826ccf4cc271fb698f2476