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

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

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

getConfiguredTypes(); foreach ($types as $type) { if ($type->isHidden()) { continue; } $link = '' . '

' . $type->getAlias() . ''; echo '

'; echo $link; echo "

\n"; } }