<?php

/**

* DokuWiki Bootstrap3 Template: Page Tools

*

* @link http://dokuwiki.org/template:bootstrap3

* @author Giuseppe Di Terlizzi <giuseppe.diterlizzi@gmail.com>

* @license GPL 2 (http://www.gnu.org/licenses/gpl.html)

*/

// must be run from within DokuWiki

if (!defined('DOKU_INC')) die();

?>

<?php 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_menu();

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 endif; ?>