Manual:PermissionManager.php