author | Petr Pchelko <ppchelko@wikimedia.org> | |
Thu, 22 Aug 2019 20:38:09 +0000 (13:38 -0700) | ||
committer | Petr Pchelko <ppchelko@wikimedia.org> | |
Fri, 23 Aug 2019 00:46:08 +0000 (17:46 -0700) | ||
commit | 5019accfe102ed81e4740203c5337df27cf9d9f0 | |
tree | 77f660b8f07d022160ea31e67b82e67ec07d7117 | tree | snapshot |
parent | ab9436fb9a20b5a335574e36fdd476becabe2dd1 | commit | diff |
includes/Permissions/PermissionManager.php | diff | blob | history |