Merge "Sort user groups in Special:Listusers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 May 2018 22:00:53 +0000 (22:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 May 2018 22:00:53 +0000 (22:00 +0000)
commit4409a6c8ed85d210e6c363a715a8a8a76c18b917
tree47506014f8740519f22a1da9671cae57231de24b
parent3a106b6a9af8923341ae73e17b1a8cae371c0f05
parenteff3f30dd176278bb991ab60a2ade74e30d98f54
Merge "Sort user groups in Special:Listusers"