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