minor include cleanup

diff --git a/admin/index.php b/admin/index.php
index e12b55f2e75033aa0c358e4bf1a9312cc4280bf5..1b1f8c6d6c62907f2f76e552f13b974b95510049 100644 (file)
--- 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);