diff --git a/server_modules.php b/server_modules.php deleted file mode 100644 index e6f5f907f4..0000000000 --- a/server_modules.php +++ /dev/null @@ -1,31 +0,0 @@ -addHTML('
'); -$response->addHTML(PMA_getHtmlForPluginsSubTabs('server_modules.php')); -$response->addHTML(PMA_getModuleTab($modules)); -$response->addHTML('
'); - -exit;