From e778a40617e8461bdd218b403cb4eb953a137d49 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Tue, 5 Sep 2006 08:27:14 +0000
Subject: [PATCH] minor include cleanup

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

diff --git a/admin/index.php b/admin/index.php
index e12b55f2e7..1b1f8c6d6c 100644
--- a/admin/index.php
+++ b/admin/index.php
@@ -422,7 +422,6 @@
 
 /// Print default admin page with notifications.
 
-    require_once($CFG->libdir.'/adminlib.php');
     $adminroot = admin_get_root();
     admin_externalpage_setup('adminnotifications', $adminroot);
     admin_externalpage_print_header($adminroot);
-- 
2.39.5