' . "\n"; echo ' ' . "\n"; echo ' ' . "\n"; } if (!empty($edit_url)) { echo ' ' . "\n"; echo PMA_linkOrButton($edit_url, $edit_str, ''); echo $bookmark_go; echo ' ' . "\n"; } if (!empty($del_url)) { echo ' ' . "\n"; echo PMA_linkOrButton($del_url, $del_str, (isset($js_conf) ? $js_conf : '')); echo ' ' . "\n"; } ?>