still making it a library. remains post.php + event handlers

[banana.git] / include / misc.inc.php

diff --git a/include/misc.inc.php b/include/misc.inc.php
index dafc163..a478bdb 100644 (file)
--- a/include/misc.inc.php
+++ b/include/misc.inc.php
@@ -154,8 +154,6 @@ function displayshortcuts($first = -1) {
 
     if (function_exists('hook_displayshortcuts')) {
         $res .= hook_displayshortcuts($sname, $first);
-    } else {
-        $res .= '[<a href="disconnect.php">'._b_('Déconnexion').'</a>] ';
     }
 
     switch ($sname) {