From 3ab76e65627e53a24b3988c43c74e6f2bfe9a2d3 Mon Sep 17 00:00:00 2001
From: gustav_delius <gustav_delius>
Date: Wed, 5 Apr 2006 17:37:59 +0000
Subject: [PATCH] Don't duplicate site name in navigation bar

---
 course/loginas.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/course/loginas.php b/course/loginas.php
index 50fc32c5db..ee30f1b6f7 100644
--- 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");
 
 
-- 
2.39.5