From c1edf7257553304f481457b5e98e4c2d0970cc0a Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 19 Jun 2006 13:38:17 +0000
Subject: [PATCH] Merged header fix from stable

---
 user/index.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/user/index.php b/user/index.php
index 47615b9ded..c3c8553e3d 100644
--- 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, "&nbsp;", 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'));
         }
     }
-- 
2.39.5