Merge "Add Special:Users as a synonym for Special:ListUsers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 6 Apr 2019 09:34:10 +0000 (09:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 6 Apr 2019 09:34:10 +0000 (09:34 +0000)
commitb6d03f5a1548e88f2e3932570beca8a3393ddc4f
tree1fcb3b23731ead37f13793dd68ff63054c07a165
parent8c98f517782610282564116b1c67ff4c4c7e0a63
parent1fa6940343cf9cf140bf8e520b8709e04b484312
Merge "Add Special:Users as a synonym for Special:ListUsers"