Updated mediawiki/extensions
Project: mediawiki/extensions/FeaturedFeeds  9318ab4798491a3e9bdd4bd0e2cf7ae4fd917116

Migrate to JSON i18n

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

Change-Id: Id644dcba9f8ad21e2fa0618147fe3d0cd9ac1d09
Updated mediawiki/extensions
Project: mediawiki/extensions/DynamicSidebar  08ead2efc5e05426b2c978a772689f0cf07b12ab

Migrate to JSON i18n

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

Change-Id: Ib3c6a48e827787ed0e93e321713112954d927ab9