1<?php
2/**
3 * DokuWiki Bootstrap3 Template: Page Tools
4 *
5 * @link     http://dokuwiki.org/template:bootstrap3
6 * @author   Giuseppe Di Terlizzi <giuseppe.diterlizzi@gmail.com>
7 * @license  GPL 2 (http://www.gnu.org/licenses/gpl.html)
8 */
9
10global $TPL;
11
12if ($TPL->getConf('showPageTools')): ?>
13
14<!-- page-tools -->
15<nav id="dw__pagetools" class="hidden-print">
16    <div class="tools panel panel-default">
17        <ul class="nav nav-stacked nav-pills text-muted">
18            <?php
19
20                $page_menu = $TPL->getToolMenu('page');
21
22                if (isset($page_menu['menu'])) {
23                    foreach ($page_menu['menu'] as $type => $item) {
24                        echo $item['html'];
25                    }
26                }
27
28            ?>
29        </ul>
30    </div>
31</nav>
32<?php endif; ?>
33<!-- /page-tools -->
34