From e21f6c81b5a41df71ec12aa29e0d21fef4fbfe55 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sun, 11 Jan 2004 18:09:09 +0000
Subject: [PATCH] No need to require this file

---
 admin/user.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/admin/user.php b/admin/user.php
index cd0fd26ddc..8de53c2cdc 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -1,7 +1,6 @@
 <?PHP // $Id$
 
     require_once("../config.php");
-    require_once("../user/lib.php");
 
     $recordsperpage = 30;
 
-- 
2.39.5