Fixed the issue that the check of "avail_in_mobile" on the top level tool pages was...

diff --git a/docs/tools/index.php b/docs/tools/index.php
index d226b28..e959d8a 100644 (file)
--- a/docs/tools/index.php
+++ b/docs/tools/index.php
@@ -23,7 +23,7 @@ $keys = array_keys($module_list);
 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">';