Updated mediawiki/extensions
Project: mediawiki/extensions/Numbertext  5bffe962649ea7b6469868b09460110b5d709025

Migrate to JSON i18n

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

Change-Id: Ia23fa73bf82596ef8458891212aadbdf998c3f62