From 60581bb517ae3de0e6301d90cb3a59ad9cc5063d Mon Sep 17 00:00:00 2001
From: mjollnir_ <mjollnir_>
Date: Tue, 15 Jan 2008 01:10:34 +0000
Subject: [PATCH] Merged from MOODLE_19_STABLE:

More on MDL-11561 - fixed up path to local/ settings file to be more consistent,
added documentation in lib/locallib.php on how to create new local admin tree item
---
 lib/adminlib.php |  4 ++--
 lib/locallib.php | 11 +++++++++++
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/lib/adminlib.php b/lib/adminlib.php
index 58b2452444..e3e96564ac 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 f1f1ecc190..a4b89a83c8 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
  * ---------------
  *
-- 
2.39.5