diff options
Diffstat (limited to 'etc/inc/priv.inc')
| -rw-r--r-- | etc/inc/priv.inc | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/etc/inc/priv.inc b/etc/inc/priv.inc index 89701aa..824ea7b 100644 --- a/etc/inc/priv.inc +++ b/etc/inc/priv.inc @@ -279,20 +279,4 @@ function userHasPrivilege($userent, $privid = false) { return true;
}
-function hasPrivilegeLock($userent) {
- return userHasPrivilege($userent, "user-lock-webcfg");
-}
-
-function hasPrivilegeLockPages($userent) {
- return userHasPrivilege($userent, "user-lock-ipages");
-}
-
-function hasPrivilegeShell($userent) {
- return userHasPrivilege($userent, "user-shell-access");
-}
-
-function hasPrivilegeCopyFiles($userent) {
- return userHasPrivilege($userent, "user-copy-files");
-}
-
?>
|
