function header_html()
{
$html = "<div id='page_box'>\n";
$html .= "<div id='header'>\n";
$html .= "<h2>Haze Watch</h2>";
$html .= "<div id='menu'>";
$html .= "<div class='nav_menu'>\n";
$html .= "<ul>";
$html .= "<li><a href='/'>Home</a></li>";
$html .= "<li><a href='/about.php'>About</a></li>";
$html .= "<li><a href='/contact.php'>Contact</a></li>";
$html .= "<li><a href='/publications.php'>Publications</a></li>";
if (user_authenticated()) {
$html .= "<li><a href='/import-data.php'>Import</a></li>";
}
$html .= "<li><a target='_blank' href='/map.php'>Map</a></li>";
$html .= "<li><a target='_blank' href='/cgi-bin/carbonmap.py'> Estimates</a></li>";
$html .= "</ul>";
$html .= "</div>\n";
$html .= "<div id='login_menu'>";
if (user_authenticated()) {
$name = authenicated_username();
$name = $name ? " as {$name}" : "";
$html .= "Logged in{$name}, <a href='/authenticate.php?logout'>Logout</a>";
} else {
$html .= "<a href='/login.php'>Login</a>";
}
$html .= "</div>\n";
$html .= "</div>\n";
// end menu
$html .= "<div class='logo'><img src='images/unsw.jpg'></div>";
$html .= "</div>\n";
// end header
$html .= "<div id='main_content_box'>\n";
return $html;
}
<!-- Date: 2010-03-05 -->
<?php
echo $PAGE_CSS_IMPORTS_HTML;
?>
</head>
<body>
<?php
echo $PAGE_HEADER_HTML;
?>
<?php
if (isset($_GET['error'])) {
echo "<p>Invalid username and password</p>";
}
?>
<?php
if (user_authenticated()) {
echo "<a href='authenticate.php?logout'>Logout</a>";
} else {
echo $LOGIN_FORM_HTML;
}
?>
<?php
echo $PAGE_FOOTER_HTML;
?>
</body>
</html>