Merge "Remove usages of deprecated User::getRights."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Aug 2019 08:15:34 +0000 (08:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Aug 2019 08:15:34 +0000 (08:15 +0000)
commit80d2ef468305b9c211d8d904352ecd25443bcbc0
treed20af8193b9d119efec00297e3b56c1fc8feafd9
parent36fdf484e98446ddbf4ea7ec6a5f9939c37e14c5
parent5bebae7f96d367f23909c3a7a2dacf1172ac7d98
Merge "Remove usages of deprecated User::getRights."
includes/api/ApiQueryUserInfo.php