$title
";
}
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 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);
}
?>