diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php index 46fb12b2a..72948d4a2 100644 --- a/libraries/plugin_interface.lib.php +++ b/libraries/plugin_interface.lib.php @@ -248,7 +248,7 @@ function PMA_pluginGetOptions($section, &$list) foreach ($list as $plugin_name => $val) { $ret .= '