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;
   /*
    *
    *