Remove $showTools, because it is set to true

Since the config-option for hide-tools no longer exists, this variable
has become superflous.

tpl/nav-page-tools.php

@@ -1,8 +1,10 @@
 <?php
-    if (!defined('DOKU_INC')) die();
+if (!defined('DOKU_INC')) {
+    die();
+}
 ?>
 
-<?php if ($showTools): ?>
+
 <nav id="dokuwiki__pagetools">
     <div class="tools">
 
@@ -15,10 +17,7 @@
                 echo $html;
             }
 
-
-
             ?>
         </ul>
     </div>
 </nav>
-<?php endif; ?>

tpl/nav-usertools-buttons.php

@@ -1,7 +1,7 @@
 <?php
     if (!defined('DOKU_INC')) die();
 
-    if ($conf['useacl'] && $showTools): ?>
+    if ($conf['useacl']): ?>
 
         <nav id="dokuwiki__usertools" class="nav-usertools <?php echo $navClass?>">
             <h6 class="sr-only" role="heading" aria-level="2"><?php echo $lang['user_tools']; ?></h6>