\n\n\n\n";
echo " \n\n";
}
// gibt HTML-Code aus, der direkt hinter dem Hauptteil stehen soll
function end_mainpage() {
echo "\n
\n\n";
echo "\n\n";
}
// set some variables
$whoami = "index"; /////
$pt = readtree();
$pagetype = "content";
$pagetitle = $pt->title;
$modtime = strftime("%Y-%m-%d", filemtime("contents/$whoami.html"));
$pwuid_record = posix_getpwuid(fileowner("contents/$whoami.html"));
$modname = $pwuid_record["name"];
$contactmail = 'webmaster@coli.uni-sb.de';
// output header
include "/web/www.coli.uni-saarland.de/html/common_start.html";
echo "\n";
// output navbar
$thispage = navigation($pt, $whoami);
// output contents
start_mainpage();
include "contents/index.html"; //////
end_mainpage();
// output footer
include "/web/www.coli.uni-saarland.de/html/common_end.html";
?>