HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/SkinPerNamespace…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/SkinPerNamespace 3a4ee0b28a98897cbc42ac2366c8a8e5b3c5553e

Update i18n shim

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

Change-Id: I03f519e1343a4d019574caaf0daa64eb2f8c0eeb

Details

Provenance
Translation updater botAuthored on
Gerrit Code ReviewCommitted on Apr 22 2014, 3:35 PM
Parents
rMEXT988dd29e8f6b: Updated mediawiki/extensions Project: mediawiki/extensions/SkinPerPage…
Branches
Unknown
Tags
Unknown
ChangeId
I03f519e1343a4d019574caaf0daa64eb2f8c0eeb

Event Timeline

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