";
}
function last_mod($datefile) {
return gmdate("g:i A \U\T\C, F d Y", filemtime($datefile));
}
function html_tag() {
global $language_in_use;
if ($language_in_use == 'ar') {
echo "";
} else {
echo "";
}
}
function page_head($title) {
global $book;
global $chap_num;
if ($book) {
echo "$chap_num. $title \n";
return;
}
if (defined("CHARSET")) {
header("Content-type: text/html; charset=".tr(CHARSET));
}
html_tag();
echo "
$title
$title
";
search_form();
echo "
";
}
function copyright() {
$y = date("Y ");
echo "
Copyright © $y University of California.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License,
Version 1.2 or any later version published by the Free Software Foundation.
";
}
function page_tail($translatable=false, $is_main=false) {
global $book;
if ($book) {
return;
}
$datefile = $_SERVER["SCRIPT_FILENAME"];
$d = last_mod($datefile);
echo "
";
if (!$is_main) {
echo "
Return to BOINC main page
";
}
echo "
";
if ($translatable) {
echo "
This page is translatable .
";
}
echo "
Last modified $d.
";
copyright();
echo "
";
}
function html_text($x) {
return "
".htmlspecialchars($x)."
";
}
function list_start($attrs = 'width=100%') {
echo "
\n";
}
function list_heading($x, $y, $z=null) {
echo "
$x
$y
";
if ($z) {
echo " $z \n";
}
echo " \n";
}
function list_heading_array($x) {
echo "";
foreach ($x as $h) {
echo "$h ";
}
echo " \n";
}
function list_item($x, $y, $z=null) {
if (!$x) $x = " ";
echo "
$x
$y
";
if ($z) {
echo " $z\n";
}
echo " \n";
}
function list_item_array($x) {
echo "";
foreach ($x as $h) {
echo "$h ";
}
echo " \n";
}
function list_item_func($x, $y) {
list_item(html_text($x), $y);
}
function list_bar($x) {
echo "
$x
";
}
function list_end() {
echo "
\n";
}
function error_page($x) {
page_head("Error");
echo $x;
page_tail();
exit();
}
function block_start() {
echo "
";
}
function block_end() {
echo "
";
}
function get_str($name) {
if (isset($_GET[$name])) {
$x = $_GET[$name];
$x = trim($x);
return mysql_real_escape_string($x);
}
return null;
}
function show_link($url) {
echo "$url ";
}
?>