diff options
Diffstat (limited to 'usr/local/www/system_usermanager_addprivs.php')
| -rw-r--r-- | usr/local/www/system_usermanager_addprivs.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/local/www/system_usermanager_addprivs.php b/usr/local/www/system_usermanager_addprivs.php index e175ee1..58a1d24 100644 --- a/usr/local/www/system_usermanager_addprivs.php +++ b/usr/local/www/system_usermanager_addprivs.php @@ -53,6 +53,7 @@ function admin_users_sort() { require("guiconfig.inc"); require("priv.defs.inc"); +require("priv.inc"); $pgtitle = array("System","User manager","Add privileges"); |
