33
33
<!-- Dump of a server -->
39
36
$multi_values = '<div align="center"><select name="db_select[]" size="6" multiple="multiple">';
43
40
if (!empty($selectall) || (isset($tmp_select) && strpos(' ' . $tmp_select, '|' . $current_db . '|'))) {
44
41
$is_selected = ' selected="selected"';