2004-06-09 19:09:16 +00:00
|
|
|
<?php
|
2003-08-19 06:45:36 +00:00
|
|
|
|
|
|
|
|
function last_mod() {
|
2003-08-22 01:21:27 +00:00
|
|
|
return date("g:i A, F d Y", filemtime($_SERVER["SCRIPT_FILENAME"]));
|
2003-08-19 06:45:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function page_head($title) {
|
|
|
|
|
$d = last_mod();
|
|
|
|
|
echo "
|
2003-09-23 23:19:41 +00:00
|
|
|
<head>
|
2003-11-02 23:08:06 +00:00
|
|
|
<link rel='stylesheet' type='text/css' href=white.css>
|
2003-09-23 23:19:41 +00:00
|
|
|
<link rel='shortcut icon' href='iconsmall.ico'>
|
2003-08-19 06:45:36 +00:00
|
|
|
<title>$title</title>
|
2003-09-23 23:19:41 +00:00
|
|
|
</head>
|
2003-08-19 06:45:36 +00:00
|
|
|
<body bgcolor=ffffff>
|
|
|
|
|
<table width=100%>
|
|
|
|
|
<tr>
|
|
|
|
|
<td><center><h1>$title</h1></center>
|
2004-05-19 20:53:00 +00:00
|
|
|
<td align=right><a href=.><img src=boinc.gif></a>
|
2003-08-19 06:45:36 +00:00
|
|
|
<br>
|
|
|
|
|
<nobr><font size=2>Last modified $d</font></nobr>
|
|
|
|
|
</td>
|
|
|
|
|
</tr></table>
|
|
|
|
|
<hr size=0 noshade>
|
|
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function page_tail() {
|
|
|
|
|
echo "
|
|
|
|
|
<hr size=0 noshade>
|
|
|
|
|
<center>
|
2004-06-17 21:37:59 +00:00
|
|
|
<a href=/>Return to BOINC main page</a>
|
2003-08-19 06:45:36 +00:00
|
|
|
<br><br>
|
2004-02-03 01:04:40 +00:00
|
|
|
Copyright © 2004 University of California
|
2003-08-19 06:45:36 +00:00
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2004-09-05 18:46:19 +00:00
|
|
|
function html_text($x) {
|
|
|
|
|
return "<pre>".htmlspecialchars($x)."</pre>
|
|
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
function list_start() {
|
|
|
|
|
echo "<p><table border=1 cellpadding=6 width=100%>\n";
|
|
|
|
|
}
|
|
|
|
|
|
2004-02-09 05:11:05 +00:00
|
|
|
function list_heading($x, $y, $z=null) {
|
|
|
|
|
echo "
|
|
|
|
|
<tr>
|
2004-02-12 01:13:47 +00:00
|
|
|
<th valign=top><b>$x</b></th>
|
|
|
|
|
<th valign=top>$y</th>
|
2004-02-09 05:11:05 +00:00
|
|
|
";
|
|
|
|
|
if ($z) {
|
2004-02-12 01:13:47 +00:00
|
|
|
echo " <th valign=top>$z</th>\n";
|
2004-02-09 05:11:05 +00:00
|
|
|
}
|
|
|
|
|
echo " </tr>\n";
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function list_item($x, $y, $z=null) {
|
2003-08-19 06:45:36 +00:00
|
|
|
echo "
|
|
|
|
|
<tr>
|
|
|
|
|
<td bgcolor=ffffcc valign=top><b>$x</b></td>
|
|
|
|
|
<td valign=top>$y</td>
|
2004-02-09 05:11:05 +00:00
|
|
|
";
|
|
|
|
|
if ($z) {
|
|
|
|
|
echo " <td valign=top>$z</a>\n";
|
|
|
|
|
}
|
|
|
|
|
echo " </tr>\n";
|
2003-08-19 06:45:36 +00:00
|
|
|
}
|
|
|
|
|
|
2004-09-05 18:46:19 +00:00
|
|
|
function list_item_func($x, $y) {
|
|
|
|
|
list_item(html_text($x), $y);
|
|
|
|
|
}
|
|
|
|
|
|
2004-10-01 22:00:39 +00:00
|
|
|
function list_bar($x) {
|
|
|
|
|
echo "
|
|
|
|
|
<tr><td colspan=2 bgcolor=eeeecc><center><b>$x</b></center></td></tr>
|
|
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
function list_end() {
|
|
|
|
|
echo "</table><p>\n";
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
?>
|
