diff options
Diffstat (limited to 'platform/www')
-rw-r--r-- | platform/www/lib/tpl/acervus/main.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/www/lib/tpl/acervus/main.php b/platform/www/lib/tpl/acervus/main.php index c4dfd1c..27f35b2 100644 --- a/platform/www/lib/tpl/acervus/main.php +++ b/platform/www/lib/tpl/acervus/main.php @@ -82,6 +82,8 @@ if ($lang2 != '') { <?php endif; ?> <div id="dokuwiki__tools" class="sidebar left"> + <?php if (!empty($_SERVER['REMOTE_USER'])) { ?> + <!-- PAGE TOOLS --> <div id="dokuwiki__pagetools"> <h3><?php echo $lang['page_tools'] ?></h3> @@ -107,6 +109,7 @@ if ($lang2 != '') { )); ?> </ul> </div><!-- /dokuwiki__sitetools --> + <?php } ?> <!-- USER TOOLS --> <?php if ($conf['useacl']): ?> |