/**
 * Return an array for a tools menu
 *
 * @author  Giuseppe Di Terlizzi <*****@*****.**>
 *
 * @return  array of tools
 */
function bootstrap3_tools_menu($add_icons = true)
{
    $individual = bootstrap3_conf('showIndividualTool');
    $tools = bootstrap3_tools($add_icons);
    $result = array();
    foreach ($individual as $tool) {
        if (!isset($_SERVER['REMOTE_USER']) && $tool == 'user') {
            continue;
        }
        $result[$tool] = $tools[$tool];
    }
    return $result;
}
/**
 * Return an array for a tools menu
 *
 * @author  Giuseppe Di Terlizzi <*****@*****.**>
 *
 * @return  array of tools
 */
function bootstrap3_tools_menu()
{
    $tools = bootstrap3_tools();
    foreach ($tools as $id => $menu) {
        foreach ($menu['items'] as $action => $item) {
            $tools[$id]['menu'][$action] = bootstrap3_action_item($action, $item['icon']);
        }
    }
    return $tools;
}
<?php

/**
 * DokuWiki Bootstrap3 Template: Page Tools
 *
 * @link     http://dokuwiki.org/template:bootstrap3
 * @author   Giuseppe Di Terlizzi <*****@*****.**>
 * @license  GPL 2 (http://www.gnu.org/licenses/gpl.html)
 */
// must be run from within DokuWiki
if (!defined('DOKU_INC')) {
    die;
}
if (bootstrap3_conf('showPageTools')) {
    ?>
<div id="dw__pagetools" class="hidden-print panel panel-default">
  <div class="tools">
    <ul class="nav nav-stacked nav-pills">
      <?php 
    $tools = bootstrap3_tools();
    unset($tools['page']['menu']['top']);
    $tools_menu = bootstrap3_toolsevent('pagetools', $tools['page']['menu'], 'main', true);
    $tools_menu = str_replace(array('class="action', '</i>', '</a>'), array('class="action text-muted', '</i><span class="sr-only">', '</span></a>'), $tools_menu);
    echo $tools_menu;
    ?>
    </ul>
  </div>
</div>
<?php 
}