Add hook for local customisation of logged-in menu

htdocs/init.php

@@ -80,6 +80,7 @@ ensure_sanity();
 require('dml.php');
 require('web.php');
 require('user.php');
+require(get_config('docroot') . 'local/lib.php');
 
 // Database access functions
 require('adodb/adodb-exceptions.inc.php');

htdocs/lib/web.php

@@ -2005,6 +2005,10 @@ function main_nav() {
         $menu = mahara_standard_nav();
     }
 
+    // local_main_nav_update allows sites to customise the menu by munging the $menu array.
+    if (function_exists('local_main_nav_update')) {
+        local_main_nav_update($menu);
+    }
     $menu_structure = find_menu_children($menu, '');
     return $menu_structure;
 }

htdocs/local/lib.php

+<?php
+/**
+ * Library file for miscellaneous local customisations.
+ *
+ * For simple customisation of a Mahara site, the core code will call some local_* functions
+ * which may be defined in this file.
+ *
+ * - Define the function local_main_nav_update(&$menu) to modify the main navigation menu in the header.
+ */
+
+?>
\ No newline at end of file