| commit | e918cc8a6c91eecbbd08033d68a73fed2e98d77b | |
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
| Sat, 16 Sep 2023 00:01:06 +0000 (16 00:01 +0000) | ||
| committer | Gerrit Code Review <gerrit@wikimedia.org> | |
| Sat, 16 Sep 2023 00:01:06 +0000 (16 00:01 +0000) | ||
| tree | 9eaa8786fc8b803006020f10523e984e0dda9893 | treesnapshot (tar.gz zip) |
| parent | 7dd44704b555aaed47fa0ad463c45d3b15d8d752 | commitdiff |
| parent | 7bdc7df2caa7363e9cb85b4f6dcf49cce9b097b5 | commitdiff |
Merge "Use existing PermissionManager calls in UserAuthority"