$val) { $ret .= '' . "\n"; $ret .= '' . "\n"; $ret .= '' . PMA_getString($val['text']) . '' . "\n"; $ret .= '

' . "\n"; } return $ret; } function PMA_pluginGetOneOption($section, $key, $id, &$opt) { $ret = ''; if ($opt['type'] == 'bool') { $ret .= ''; $ret .= '' . PMA_getString($opt['text']) . ''; } elseif ($opt['type'] == 'text') { $ret .= '' . PMA_getString($opt['text']) . ''; $ret .= ''; } else { /* This should be seen only by plugin writers, so I do not thing this needs translation. */ $ret .= 'UNKNOWN OPTION IN IMPORT PLUGIN ' . $key . '!'; } $ret .= '
'; return $ret; } function PMA_pluginGetOptions($section, &$list) { $ret = ''; // Options for plugins that support them foreach($list as $key => $val) { $ret .= '

'; $ret .= '

' . PMA_getString($val['options_text']) . '

'; if (isset($val['options'])) { foreach($val['options'] as $id => $opt) { $ret .= PMA_pluginGetOneOption($section, $key, $id, $opt); } } else { $ret .= $GLOBALS['strNoOptions']; } $ret .= '

'; } return $ret; } function PMA_pluginGetJavascript(&$list) { $ret = ' '; return $ret; } ?>