HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/CharInsert…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/CharInsert 32b1906ca94ac47eaeada82d4b1e94af5260fd74

Update i18n shim

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

Change-Id: I95971f833f59c87a6501a7d1fa7c8921085f3f72

Details

Provenance
Translation updater botAuthored on
Gerrit Code ReviewCommitted on Apr 22 2014, 3:09 PM
Parents
rMEXT83ffdc4bec4a: Updated mediawiki/extensions Project: mediawiki/extensions/CharRangeSpan…
Branches
Unknown
Tags
Unknown
ChangeId
I95971f833f59c87a6501a7d1fa7c8921085f3f72

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTc8f17f7e2bf8: Updated mediawiki/extensions Project: mediawiki/extensions/CharInsert… (authored by Translation updater bot <l10n-bot@translatewiki.net>).Apr 22 2014, 3:09 PM