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);
?>