diff --git a/admin/index.php b/admin/index.php
index e12b55f2e75..1b1f8c6d6c6 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);