"; } 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 " "; if ($z) { echo " \n"; } echo " \n"; } function list_heading_array($x) { echo ""; foreach ($x as $h) { echo ""; } echo "\n"; } function list_item($x, $y, $z=null) { if (!$x) $x = "
"; echo " "; if ($z) { echo " \n"; } function list_item_array($x) { echo ""; foreach ($x as $h) { echo ""; } echo "\n"; } function list_item_func($x, $y) { list_item(html_text($x), $y); } function list_bar($x, $note="") { if ($note) { $note = "
$note"; } echo " "; } function list_end() { echo "
$x $y$z
$h
$x $y$z\n"; } echo "
$h
$x$note

\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"; } ?>