Updated mediawiki/extensions
Project: mediawiki/extensions/NumerAlpha  aecbc56ec2c0964bac292837dbce5c1d0d3d2436

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
without shim. No shim because this extension didn't add an entry to
$wgExtensionMessagesFiles.

Change-Id: I96f749197c8f3315257442d060326b9021c1dbe1