diff --git a/lib/adminlib.php b/lib/adminlib.php index 58b24524447..e3e96564ac1 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -4125,8 +4125,8 @@ function &admin_get_root($reload=false, $requirefulltree=true) { include($file); } } - if (file_exists($CFG->dirroot.'/local/localsettings.php')) { - include_once($CFG->dirroot.'/local/localsettings.php'); + if (file_exists($CFG->dirroot.'/local/settings.php')) { + include_once($CFG->dirroot.'/local/settings.php'); } } diff --git a/lib/locallib.php b/lib/locallib.php index f1f1ecc190e..a4b89a83c85 100644 --- a/lib/locallib.php +++ b/lib/locallib.php @@ -48,6 +48,17 @@ * with $oldversion set to 0, so that all the updates run. * * + * Local admin menu items + * ---------------------- + * + * It is possible to add new items to the admin_tree block. + * To do this, create a file, local/settings.php + * which can access the $ADMIN variable directly and add things to it. + * You might do something like: + * $ADMIN->add('root', new admin_category($name, $title); + * $ADMIN->add('foo', new admin_externalpage($name, $title, $url, $cap); + * + * * Course deletion * --------------- *