Updated mediawiki/extensions
Project: mediawiki/extensions/MultimediaViewer  007abe4b9c0d5d4d74f40a82606c0de0ccf12911

Migrate to JSON i18n

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

Change-Id: I6c9c18577099e972402b0a4aa1364f44f82b74b4
Updated mediawiki/extensions
Project: mediawiki/extensions/Math  5cbbd0c807402f367c2eb76567edaeb8e1f398a4

Migrate to JSON i18n

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

Change-Id: Ifcaf0e8516cd92587fc5e51a580a53f4158cdb6e