Merge "User::getRights phpdoc from return array to string[]"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Mar 2017 02:16:29 +0000 (02:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Mar 2017 02:16:29 +0000 (02:16 +0000)
commit7360156ec7893c137f5ded655c132ea9cc109db9
tree88a69707d91efb73990b8baea4c3676f787607aa
parent07157675bdaaaa1ae982b658d98dce41fb24b6e9
parent1f5dd321ac914ff4e461b0ce7c1c495d167a6a96
Merge "User::getRights phpdoc from return array to string[]"
includes/user/User.php