echo '<ol id="tools">';
foreach ($keys as $module_name) {
$module = $module_list[$module_name];
- if ($module->getPrivilege() && authenticate($module->getPrivilege(), AT_PRIV_RETURN) && ($parent = $module->getChildPage('tools/index.php'))) {
+ if ($module->getPrivilege() && authenticate($module->getPrivilege(), AT_PRIV_RETURN) && ($parent = $module->getChildPage('tools/index.php')) && page_available($parent)) {
echo '<li class="top-tool"><a href="' . $parent . '">' . $module->getName() . '</a> ';
if (isset($_pages[$parent]['children'])) {
echo '<ul class="child-top-tool">';