Updated mediawiki/extensions
Project: mediawiki/extensions/ReplaceText  bc302ec2779d048d600e6f00a86ceecf291dbcd9

Migrate to JSON i18n

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

Change-Id: I040f2542944ca978ab5f603e6a96fdf2eb89fe20
Updated mediawiki/extensions
Project: mediawiki/extensions/AdminLinks  7d6d7fd8b3741d1015ec3d26a230ba820623b8a9

Migrate to JSON i18n

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

Change-Id: I6b800a6d78c9c9cb43eeeff7edab1e372093b47f