Updated mediawiki/extensions
Project: mediawiki/extensions/ArticleFeedback  84545a45042291c82091b4bceb50ee8f3d91e2d8

Migrate to JSON i18n

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

Change-Id: If8ca1e81a828307c64b05f6a0013d210ee3d0a53
Updated mediawiki/extensions
Project: mediawiki/extensions/Bootstrap  56e60e562dc337f0fa12a5ce52fef0b3c95e4a5e

Migrate to JSON i18n

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

Change-Id: I238d8098451a4a96da6d77daa3794ec83b2e938d