diff options
| author | Marc Delisle <marc@infomarc.info> | 2012-04-09 17:09:07 +0400 |
|---|---|---|
| committer | Marc Delisle <marc@infomarc.info> | 2012-04-09 17:09:07 +0400 |
| commit | dd5aae9a67c91cfc0dea6e28b0a20e3138996d05 (patch) | |
| tree | 24bef3fe31824014d7e1c7b968451e4b344fb71c /server_privileges.php | |
| parent | f2c88c3afc66c2cd5970c6e85d3c111ba787131a (diff) | |
jQuery UI is already included from common.inc.php
Diffstat (limited to 'server_privileges.php')
| -rw-r--r-- | server_privileges.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/server_privileges.php b/server_privileges.php index 53c4ed396f..a96eef03c2 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -15,7 +15,6 @@ require_once 'libraries/common.inc.php'; */ $GLOBALS['js_include'][] = 'server_privileges.js'; $GLOBALS['js_include'][] = 'functions.js'; -$GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.16.custom.js'; $GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; $GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; $_add_user_error = false; |