Merge "Make the title of Special:UserRights more generic"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 14 Mar 2017 15:27:56 +0000 (15:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 14 Mar 2017 15:27:56 +0000 (15:27 +0000)
commit03c0a12b8b63d7be6320e0b531babfd43757b313
tree3415baa0811841e79e8065ad6179aca129d86eca
parent7722acc0ddc467a1c0edcdcf08a240e19e38232c
parentdd416e529b2f053716a673acdd15a03a70d166fd
Merge "Make the title of Special:UserRights more generic"