From 5215e8ed0ea1d5144db68ba25a5e7d252ffc5da9 Mon Sep 17 00:00:00 2001
From: erics <erics>
Date: Tue, 22 Jul 2003 17:29:07 +0000
Subject: [PATCH] haaaa enfin on peut rajouter des utilisateurs :)

---
 htdocs/user/pre.inc.php3 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/htdocs/user/pre.inc.php3 b/htdocs/user/pre.inc.php3
index e95f3c0a99d..202c01a0b48 100644
--- a/htdocs/user/pre.inc.php3
+++ b/htdocs/user/pre.inc.php3
@@ -22,6 +22,7 @@ require("../main.inc.php3");
 
 function llxHeader($head = "", $urlp = "")
 {
+  global $user;
   /*
    *
    *