Merge "userrights: Add array typehints to SpecialUserrights methods"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Apr 2018 16:18:30 +0000 (16:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Apr 2018 16:18:30 +0000 (16:18 +0000)
commit5eb2a7cd334ed98c5ad46bcbb8f324b596de2f4c
treea288e68f5c88da1cfed61ab66f718fc5a26cae4b
parent628a3a9b267620914701a2a0a17bad8ab2e56498
parentc7c76124fa9160adf7b34654c010ec3ece622af9
Merge "userrights: Add array typehints to SpecialUserrights methods"