Updated mediawiki/extensions
Project: mediawiki/extensions/DidYouMean  aa7439926fc97c33ede642cc3d2c458469941937

Migrate to JSON i18n

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

Change-Id: If8ceac784433349d44d59bf821501786eafa2522
Updated mediawiki/extensions
Project: mediawiki/extensions/DisqusTag  af6757833f27433a06bfe37077967c07ed909696

Migrate to JSON i18n

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

Change-Id: If04e51b977be30ad51e9e76683d48919d31f9d1b
Updated mediawiki/extensions
Project: mediawiki/extensions/DPLforum  398dd4b4f48d9e1570b1abb0998c0b478c257618

Migrate to JSON i18n

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

Change-Id: I976501e62bee980298ec41da6e8cc46638a00485