diff --git a/lib/adminlib.php b/lib/adminlib.php index 4dc6435..6ce0bd2 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -4125,6 +4125,12 @@ function &admin_get_root($reload=false, $requirefulltree=true) { include($file); } } + if (file_exists($CFG->dirroot.'/local/lib.php')) { + include_once($CFG->dirroot.'/local/lib.php'); + if (function_exists('local_admin_settings')) { + local_admin_settings($ADMIN); + } + } } return $ADMIN;