Updated mediawiki/extensions
Project: mediawiki/extensions/SideBarMenu  602d5cc89605a3aef50cb413edd92354b95cebce

Migrate to JSON i18n

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

Change-Id: I2a2cc188a247b844ce5169dd00f8dbe41adf1270
Updated mediawiki/extensions
Project: mediawiki/extensions/SimpleAntiSpam  c115a5bc8964fc08f071252b32ac108e2d95ffc3

Migrate to JSON i18n

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

Change-Id: Ifc82c7d28329c4dd70279122bc22da9988b3ee8b