diff --git a/db_operations.php b/db_operations.php index e4834ca14e..970b24b2ef 100644 --- a/db_operations.php +++ b/db_operations.php @@ -18,6 +18,11 @@ require_once 'libraries/common.inc.php'; require_once 'libraries/mysql_charsets.lib.php'; +/** + * functions implementation for this script + */ +require_once 'libraries/db_operations.lib.php'; + // add a javascript file for jQuery functions to handle Ajax actions $response = PMA_Response::getInstance(); $header = $response->getHeader(); @@ -421,38 +426,9 @@ if (!$is_information_schema) { /** * rename database */ -if ($db != 'mysql') { - ?> -