get_mysql_details($id)) { $error=$err->errstr(); } ?>
$error"; } if (is_array($r)) { ?> "; __("Note: If the filename ends with .gz, it will be uncompressed before."); echo ""; } else { echo "
"; __("You currently have no database defined"); echo "
"; } ?>