No need to require this file

diff --git a/admin/user.php b/admin/user.php
index cd0fd26ddcbb01b39bfa2627bb296c0f15e1f62a..8de53c2cdc8a0b12cca2b8dae9f4a15d0b23f3cb 100644 (file)
--- 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;