Updated mediawiki/extensions
Project: mediawiki/extensions/Nonlinear  67fc9accea1296d1f1eecc5c25b0d0d41b9683a1

Migrate to JSON i18n

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

Change-Id: Ibc0182206df9c0e78c12ad98b4dab19631336e8d
Updated mediawiki/extensions
Project: mediawiki/extensions/OggHandler  49b3cd822457095a679f640d322b5aff20b1fbf0

Migrate to JSON i18n

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

Change-Id: I872b85d2239d4cc794901dc457ba06f0a6db6baa