diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-09-22 18:32:49 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-09-22 18:32:49 +0000 |
commit | 9a4ece9b51a016f88f22b526bba323fd9ad97265 (patch) | |
tree | f9353c0f013e6e2afb37583876ef7e4ea541ea79 /tests/phpunit/includes/session/UserInfoTest.php | |
parent | 6fe3512637ec1fbf924947dc69248fc776248284 (diff) | |
parent | ba283991a9f0672dab31a3be74eaff9508937a0c (diff) | |
download | mediawikicore-9a4ece9b51a016f88f22b526bba323fd9ad97265.tar.gz mediawikicore-9a4ece9b51a016f88f22b526bba323fd9ad97265.zip |
Merge "Drop User and PermissionManager's group permission methods, deprecated since 1.34/1.36"
Diffstat (limited to 'tests/phpunit/includes/session/UserInfoTest.php')
0 files changed, 0 insertions, 0 deletions