From 2ae79998d221c08fb16aacf521ce976c30df942a Mon Sep 17 00:00:00 2001 From: lorilee Date: Wed, 9 Jun 2010 20:34:37 -0400 Subject: [PATCH] Changed div ID name --- libraries/plugin_interface.lib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php index 3883256a9..025258fe5 100644 --- a/libraries/plugin_interface.lib.php +++ b/libraries/plugin_interface.lib.php @@ -259,7 +259,7 @@ function PMA_pluginGetOneOption($section, $plugin_name, $id, &$opt) $ret .= ''; } elseif ($opt['type'] == 'begin_group') { - $ret .= '

' . PMA_getString($opt['text']) . '