Merge "UserPager: Use multiple checkboxes instead of multiselect"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Jul 2017 11:00:00 +0000 (11:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Jul 2017 11:00:01 +0000 (11:00 +0000)
commit0574f4f145c0cb3eebd1038fff4a69bf5e19f481
tree7d722ae39039d179fef7749fe596546c651a7922
parent8210a45d1d1b4d9f2110fd3591a0b4f30f0ba8cb
parenteaefbf99c8183f543c766272fc1a73480d28e004
Merge "UserPager: Use multiple checkboxes instead of multiselect"