The home page is the only exception to the rule of navigation

diff --git a/lib/weblib.php b/lib/weblib.php
index b51738a48a1c75564198942cb2c688d8153e9197..84e327cbd5b1803298ac7df22c8505b2496bf271 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2267,7 +2267,7 @@ function print_header ($title='', $heading='', $navigation='', $focus='',
 
     global $USER, $CFG, $THEME, $SESSION, $ME, $SITE, $COURSE;
 
-    if (gettype($navigation) == 'string' && strlen($navigation) != 0) {
+    if (gettype($navigation) == 'string' && strlen($navigation) != 0 && $navigation != 'home') {
         debugging("print_header() was sent a string as 3rd ($navigation) parameter. "
                 . "This is deprecated in favour of an array built by build_navigation(). Please upgrade your code.");
     }