<?php
function page_header($title, $h1 = false)
{
if(!$h1)
{
$h1 = $title;
}
echo "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">
<html lang=\"{$GLOBALS['language']}\" dir=\"ltr\">
<head>
<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\">
<meta http-equiv=\"Content-Style-Type\" content=\"text/css\">
<title>Fretsweb - $title</title>
{$GLOBALS['head_feed']}
<link href=\"css.php\" rel=\"stylesheet\" type=\"text/css\">
<link href=\"images/favicon.png\" rel=\"icon\">
</head>
<body>
<div id=\"page\">
<div id=\"content\">
<div id=\"time\">" . date('Y-m-d, H:i') . "</div>
<p class=\"logoContainer\">
<a href=\"charts.php\" target=\"_top\"><img id=\"logo\" src=\"images/logo.png\" alt=\"Fretsweb\"></a>
</p>
<h1>$h1</h1>";
}
function print_header($title, $h1 = false)
{
echo page_header($title, $h1);
}
?>