HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Gather…

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Gather d72abbd70c3b304658bcfdfd708056372fe8b02d

Add UserMerge hooks for gather_list.gl_user

Update gl_user and, in case of a unique key conflict on gl_label,
append " (<old username>)" to the label.

Bug: T99374
Change-Id: I8dd44fd35e04b8b87ab40c9afe8de1c36a4d8351

Details

Committed
Gerrit Code ReviewJun 3 2015, 9:35 PM
Parents
rMEXT50211459311d: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…
Branches
Unknown
Tags
Unknown
ChangeId
I8dd44fd35e04b8b87ab40c9afe8de1c36a4d8351

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT22fcbd856f60: Updated mediawiki/extensions Project: mediawiki/extensions/Gather… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 3 2015, 9:35 PM