get_ServerURL()) . ")"; printHeaderContents($title, $headerPrefix); echo "\n"; // include all JavaScript files printJsIncludes($headerPrefix); // get tool list $availableTools = getTools(); $toolSettings = $_SESSION['config']->getToolSettings(); // sort tools $toSort = array(); foreach ($availableTools as $toolClass) { $myTool = new $toolClass(); if ($myTool->getRequiresWriteAccess() && !checkIfWriteAccessIsAllowed()) { continue; } if ($myTool->getRequiresPasswordChangeRights() && !checkIfPasswordChangeIsAllowed()) { continue; } // check visibility if (!$myTool->isVisible()) { continue; } // check if hidden by config $toolName = substr($toolClass, strrpos($toolClass, '\\') + 1); if (isset($toolSettings['tool_hide_' . $toolName]) && ($toolSettings['tool_hide_' . $toolName] == 'true')) { continue; } $toSort[$toolClass] = $myTool->getPosition(); } asort($toSort); $tools = array(); foreach ($toSort as $key => $value) { $tools[] = new $key(); } ?>

getUserName(); $userName = extractRDNValue($userData); ?> '; $serverProfileLabel = $_SESSION['config']->getName() . ' - '; $serverProfileNames = getConfigProfiles(); if (sizeof($serverProfileNames) < 2) { $serverProfileLabel = ''; } echo '(' . $serverProfileLabel . $userName . ')'; echo ''; ?> '; echo $userName; echo ''; ?>

0) { ?>   getSubTools(); echo ' '; $link = $headerPrefix . '/templates/' . $tool->getLink(); echo '\n"; echo ' ' . $tool->getName(); echo "\n"; if (sizeof($subTools) > 0) { echo " \n"; foreach ($subTools as $subTool) { echo " description . "\">\n"; echo "link . "\">\n"; echo ' ' . $subTool->name; echo "\n"; echo " \n"; } echo " \n"; } echo " \n"; } ?> get_Suffix('tree') != "") { ?>

'; echo '

'; $typeManager = new \LAM\TYPES\TypeManager(); $types = $typeManager->getConfiguredTypes(); foreach ($types as $type) { if ($type->isHidden()) { continue; } $link = '' . ' ' . $type->getAlias() . ''; echo '
• '; echo $link; echo "
\n"; } echo '

'; }