diff --git a/htdocs/lib/functions.inc.php3 b/htdocs/lib/functions.inc.php3 index df45a64d42a..637be7b2eeb 100644 --- a/htdocs/lib/functions.inc.php3 +++ b/htdocs/lib/functions.inc.php3 @@ -243,11 +243,20 @@ function print_titre($titre) { function print_barre_liste($titre,$page,$file) { global $conf; print '
'; }