It's a "hack".
This diff represents the changes necessary to
lib/tpl/dokuwiki/main.php which prevents non-admin users from seeing the page tools:-
24c24
< <?php echo tpl_favicon(array('favicon', 'mobile')) ?>
---
> <?php echo tpl_favicon(array('favicon', 'mobile', 'animated')) ?>
76a77
> if ($INFO['isadmin']) {
96a98,115
> } else {
> $data = array(
> 'view' => 'main',
> 'items' => array(
> 'edit' => tpl_action('edit', 1, 'li', 1, '<span>', '</span>'),
> 'subscribe' => tpl_action('subscribe', 1, 'li', 1, '<span>', '</span>'),
> 'top' => tpl_action('top', 1, 'li', 1, '<span>', '</span>')
> )
> );
>
> $evt = new Doku_Event('TEMPLATE_PAGETOOLS_DISPLAY', $data);
> if($evt->advise_before()){
> foreach($evt->data['items'] as $k => $html) echo $html;
> }
> $evt->advise_after();
> unset($data);
> unset($evt);
> }
[/color]