Merge "Minor code updates to SpecialListgrouprights"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Nov 2017 20:15:03 +0000 (20:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Nov 2017 20:15:03 +0000 (20:15 +0000)
commit9d6cdbce202ed728e919c25f2d6d3b8c2e584e98
treec29db01d5b19752818a1cb384b36dff59ad3348d
parent408aec4c42bb4316b1d7cff6f25ed0fbb1227528
parent40c690d3a6a3f31d40c1eaf2c5143d4543b5d11f
Merge "Minor code updates to SpecialListgrouprights"