Updated mediawiki/extensions
Project: mediawiki/extensions/SubPageList3  f3839c2dfe28f03431366b188656dc3e9fa609b9

Migrate to JSON i18n

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

Change-Id: Iee5ca4d40b97160f384250b94892defa56843a07
Updated mediawiki/extensions
Project: mediawiki/extensions/StrategyWiki  a8704fbdcaac9aba901e3a1b937e3aea265f7c99

Migrate to JSON i18n

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

Change-Id: I3c7997187a2827e077e68c9c4a95d8109c82eed2