HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/UrlGetParameters…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/UrlGetParameters 4b2f8b0d6836b147cca87e9e4a1fb92bdb26af9c

Update i18n shim

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

Change-Id: I676c38d29a45b642b4b325905154b54b19c6cf5d

Details

Provenance
Translation updater botAuthored on
Gerrit Code ReviewCommitted on Apr 22 2014, 3:34 PM
Parents
rMEXTe705a5edefdc: Updated mediawiki/extensions Project: mediawiki/extensions/URNames…
Branches
Unknown
Tags
Unknown
ChangeId
I676c38d29a45b642b4b325905154b54b19c6cf5d

Event Timeline

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