Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Delisle <marc@infomarc.info>2012-04-09 17:09:07 +0400
committerMarc Delisle <marc@infomarc.info>2012-04-09 17:09:07 +0400
commitdd5aae9a67c91cfc0dea6e28b0a20e3138996d05 (patch)
tree24bef3fe31824014d7e1c7b968451e4b344fb71c /server_plugins.php
parentf2c88c3afc66c2cd5970c6e85d3c111ba787131a (diff)
jQuery UI is already included from common.inc.php
Diffstat (limited to 'server_plugins.php')
-rw-r--r--server_plugins.php1
1 files changed, 0 insertions, 1 deletions
diff --git a/server_plugins.php b/server_plugins.php
index 3e95b5389a..0b836b946f 100644
--- a/server_plugins.php
+++ b/server_plugins.php
@@ -13,7 +13,6 @@ require_once 'libraries/common.inc.php';
/**
* JS includes
*/
-$GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.16.custom.js';
$GLOBALS['js_include'][] = 'jquery/jquery.cookie.js';
$GLOBALS['js_include'][] = 'jquery/jquery.tablesorter.js';
$GLOBALS['js_include'][] = 'server_plugins.js';