diff --git a/libraries/server_plugins.lib.php b/libraries/server_plugins.lib.php index a09c2a7884..febe14218a 100644 --- a/libraries/server_plugins.lib.php +++ b/libraries/server_plugins.lib.php @@ -132,10 +132,6 @@ function PMA_getPluginTab($plugins) $html .= '