Updated mediawiki/extensions
Project: mediawiki/extensions/NamespaceHTML  53a80849c9dabf2c68abca90612c7d5971880df4

add support for JSON i18n

Change-Id: Ic23b1ce8d7eb2d75f1af1f1cbcec0aa65fcaf230