"; } function show_heading($text, $size = 1) { echo " $text"; } function show_footer() { echo " "; } function end_table() { echo " "; } function array_to_table_row($odd = true, $data) { $bgcolor = $odd ? " bgcolor=\"#ccccdd\"" : ""; echo " "; foreach ($data as &$item) { echo " $item"; } echo " "; } function start_table() { echo ' '; } function start_form($action, $method = "get") { echo " "; } function end_form() { echo " "; } function show_select_box($items, $name, $selected = "", $onchange_hdl = "") { $onchange = $onchange_hdl ? " onchange=\"$onchange_hdl\"" : ""; echo " "; } function get_href($label, $url, $new_window = false) { $target = $new_window ? " target=\"_blank\"" : ""; return "$label"; } function warn($msg) { echo "

$msg"; } function get_current_url() { return $_SERVER["REQUEST_URI"]; } function set_var($url, $var, $value) { $url = cut_var($url, $var); if ($url[strlen($url) - 1] == "?") { $url .= "$var=$value"; } elseif (strpos($url, "?") !== false) { $url .= "&$var=$value"; } else { $url .= "?$var=$value"; } return $url; } function cut_var($url, $var) { // XXX there is probably a cleaner solution for this return preg_replace('/&?' . $var . '=[^&]+/', '', $url); } ?>