diff --git a/htdocs/lib/functions.inc.php3 b/htdocs/lib/functions.inc.php3
index 5fd5315f76d..72b96e30301 100644
--- a/htdocs/lib/functions.inc.php3
+++ b/htdocs/lib/functions.inc.php3
@@ -1,8 +1,5 @@
- *
- * $Id$
- * $Source$
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -18,8 +15,7 @@
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
* or see http://www.gnu.org/
- */
-/*
+ *
* $Id$
* $Source$
*
@@ -56,6 +52,20 @@ function print_barre_liste($titre,$page,$file) {
print '';
print '