Merged header fix from stable

diff --git a/user/index.php b/user/index.php
index 47615b9ded0c711f56de04cf108b08ee7a7689b3..c3c8553e3d00124b4cef9715cf3ef4ceedf5f879 100644 (file)
--- a/user/index.php
+++ b/user/index.php
@@ -28,9 +28,13 @@
 
     if (!$course->category) {
         if (!$CFG->showsiteparticipantslist and !isteacher(SITEID)) {
+            print_header("$course->shortname: ".get_string('participants'), $course->fullname,
+                         get_string('participants'), "", "", true, " ", navmenu($course));
             notice(get_string('sitepartlist0'));
         }
         if ($CFG->showsiteparticipantslist < 2 and !isteacherinanycourse()) {
+            print_header("$course->shortname: ".get_string('participants'), $course->fullname,
+                         get_string('participants'), "", "", true, "&nbsp;", navmenu($course));
             notice(get_string('sitepartlist1'));
         }
     }