Updated mediawiki/extensions Project: mediawiki/extensions/URNames 1f9efa0d094468db0d7de56708fa130dbe1ce2d6
Update i18n shim
A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.
Change-Id: I12efddbca952f3f925f1fafe3f241bc9e6334333