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[] = '' .
					'
 ' . _("Tree view") . '' . "\n";
			}
			for ($i = 0; $i < sizeof($types); $i++) {
					$linkList[] = '' .
					'![' . $types[$i] . '](' . $headerPrefix . '../graphics/' . $types[$i] . '.png) ' .
					'' . getTypeAlias($types[$i]) . '';
			}
			echo implode("        \n", $linkList);
		?>
 ' .
					'' . getTypeAlias($types[$i]) . '';
			}
			echo implode("        \n", $linkList);
		?>