get_ActiveTypes(); $headerPrefix = ""; if (is_file("../login.php")) $headerPrefix = "../"; elseif (is_file("../../login.php")) $headerPrefix = "../../"; // HTML header and title echo $_SESSION['header']; echo "
			  
		 | 
		
			 
		 | 
	   | 
	
		get_Suffix('tree') != "") {
				$linkList[] = '
 ' . _("Tree view") . '' . "\n";
			}
			for ($i = 0; $i < sizeof($types); $i++) {
					$linkList[] = '' .
					'
 ' .
					'' . getTypeAlias($types[$i]) . '';
			}
			echo implode("        \n", $linkList);
		?>