File Source for header.php

<?php
/**
* Common header.
* Common HRDI Observational Database header file.
* @package HRDIODB
*/
/**
* This file is part of HRDIODB.
*
* HRDIODB is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* HRDIODB is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with HRDIODB; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"DTD/xhtml1-transitional.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<link rel="stylesheet" media="all" href="hrdi.css" type="text/css" />
<link rel="stylesheet" media="print" href="print.css" type="text/css" />
<script type="text/javascript" src="domTT/domLib.js"></script>
<script type="text/javascript" src="domTT/domTT.js"></script>
<script type="text/javascript" src="hrdi.js"></script>
<script type="text/javascript">
var domTT_classPrefix = 'domTThrdi';
</script>
<script language="javascript">
<!--
function WinOpen(url,width,height){
window.open("http://hrdi.engin.umich.edu/"+url, "Date Converter", "toolbar=no, menubar=no, status=yes, width="+width+", height="+height+", resizable=yes, alwaysRaised=yes, screenx=0, screeny=0");
}
function WinClose(){
window.close();
}
//-->
</script>
<title>HRDI Observational Database</title>
</head>
<body>
<table class="nav_bar">
<tr>
<td> HRDI Observational Database</td>
<td align="right">
<a href="week.php?uars_day=473">Browse</a> |
<a href="search.php">Search</a> |
<a href="" onclick="WinOpen('/nonuarsday/front-end/PHP/dateconverter.php',360,230 )">Date Converter</a> |
<a href="http://hrdi.engin.umich.edu/">Home</a> |
<a href="http://hrdi.engin.umich.edu/hrdiodb/help.html">Help</a>
</td>
</tr>
</table>
<table class="user_bar">
<tr>
<td width="40%"></td>
<td width="20%" align="center"><span class="page_title"><?php print @$page_title?></span></td>
<td width="40%" align="right">
<?php
// If we're authenticated, print out the appropriate links
if ($user->authenticated()) {
$user_data = $session->get_var("user_data");
print "Logged in as {$user_data['Firstname']} {$user_data['Lastname']} |
<a href=\"user.php?mode=update\">Account Information</a> |
<a href=\"logout.php\">Logout</a>";
} else {
print "<a href=\"login.php\">Login</a>";
}
/* In order to be able to "magically" jump back to the page we were
on prior to clicking "Login" OR being redirected to the login page,
we need to save the page that we were on. This should be done for
every page which doesn't have to do with user account things. If
this is done incorrectly, it will result in a loop of redirects,
usually causing a browser error message. */
if ((basename($_SERVER['PHP_SELF']) != "login.php") &&
(basename($_SERVER['PHP_SELF']) != "user.php") &&
(basename($_SERVER['PHP_SELF']) != "passreset.php")) {
// Set the page we are on for later redirection
$session->set_var("page", $_SERVER['REQUEST_URI']);
}
?>
</td>
</tr>
</table>
<br/>

Source for file header.php