Updated mediawiki/extensions
Project: mediawiki/extensions/SVGEdit  47e74a795d8d06dff728c3f417175652b474ba94

Migrate to JSON i18n

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

Change-Id: I9bd0b1fc6385bd163ebecc6fda930b99cd58e76a
Updated mediawiki/extensions
Project: mediawiki/extensions/SpellingApi  5abc85ea9c101a625604693b6e36b049164ebe60

Migrate to JSON i18n

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

Change-Id: I6104ddd6acca17861415a54e32ff58b424cce1dc