Updated mediawiki/extensions
Project: mediawiki/extensions/Premoderation  ebfe2f3025588a16c5e5ddb5ccce1855335d8ec8

Update i18n shim

A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.

Change-Id: Ie09392b8eb2ec34f2c6889fb51defdb1a5c115de