HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/DeleteBatch…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/DeleteBatch c565ef4cc82d381a5108c6a836a6d5166a1834f0

Update i18n shim

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

Change-Id: I36ed4102190ed3f08d4a9b5718adb5b1cae1ec88

Details

Provenance
Translation updater botAuthored on
Gerrit Code ReviewCommitted on Apr 22 2014, 3:11 PM
Parents
rMEXTf2c2f1ce540d: Updated mediawiki/extensions Project: mediawiki/extensions/DeleteOwn…
Branches
Unknown
Tags
Unknown
ChangeId
I36ed4102190ed3f08d4a9b5718adb5b1cae1ec88

Event Timeline

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