\n"; echo "\n"; echo "\n"; echo "\n"; if(isset($header)) { # jesli pominieto znacznik tytulu - dodajemy sami if (stristr($header, '') === false) { echo '<title>'.DEFAULT_PAGE_TITLE."\n"; } echo $header; } else { echo ''.DEFAULT_PAGE_TITLE."\n"; } echo "\n"; echo "\n"; echo "\n"; echo "\n"; echo " \n"; echo "\n"; echo "\n"; echo " \n"; echo " \n"; echo " \n"; echo " \n"; echo "
".PAGE_HEADER."
\n"; echo " \n"; $menu = array("index.php" => MENU_MAIN_PAGE, "help.php" => MENU_HELP, "licence.php" => MENU_LICENSE, "authors.php" => MENU_AUTHORS, "down.php" => MENU_DOWNLOADS); foreach($menu as $page=>$descr) { echo " \n"; echo " \n"; echo " \n"; } echo "
\n"; echo $descr."\n"; echo "
\n"; echo "
\n"; echo $content; echo "  
\n"; echo "\n"; } ?>