Don't duplicate site name in navigation bar

diff --git a/course/loginas.php b/course/loginas.php
index 50fc32c5dbb3170e6190c3d192260c3c9a7809bb..ee30f1b6f7d21c42c88f17c684e3c90db52d7569 100644 (file)
--- a/course/loginas.php
+++ b/course/loginas.php
@@ -115,9 +115,8 @@
     $strloginas    = get_string("loginas");
     $strloggedinas = get_string("loggedinas", "", $student_name);
 
-    print_header("$course->fullname: $strloginas $student_name", "$course->fullname", 
-                 "<a href=\"$CFG->wwwroot/course/view.php?id=$course->id\">$course->shortname</a> -> 
-                  $strloginas $student_name");
+    print_header_simple("$strloginas $student_name", '', 
+                 "$strloginas $student_name");
     notice($strloggedinas, "$CFG->wwwroot/course/view.php?id=$course->id");