HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Citoid…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Citoid b4c159525cb8749bef32e3dc9dd8f2c45bb2cfdf

Prevent toolGroup hack from running twice

Change-Id: I8f817c09afb2211e549935998bf71e98f0de9dfe

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTad310a3514ed: Updated mediawiki/extensions Project: mediawiki/extensions/Citoid… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 7 2015, 1:05 PM