From: martin <martin>
Date: Sun, 8 Sep 2002 03:34:12 +0000 (+0000)
Subject: Changes to improve display of teachers
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=40a1d986f9845911a210b72e9792349a3e50e96a;p=moodle.git

Changes to improve display of teachers
---

diff --git a/lang/en/moodle.php b/lang/en/moodle.php
index 6629c158a7..ae9defebc6 100644
--- a/lang/en/moodle.php
+++ b/lang/en/moodle.php
@@ -281,6 +281,7 @@ $string[newusers] = "New users";
 $string[newsitem] = "news item";
 $string[newsitems] = "news items";
 $string[newsitemsnumber] = "News items to show";
+$string[never] = "Never";
 $string[no] = "No";
 $string[nocoursesyet] = "There are no courses yet";
 $string[noexistingteachers] = "No existing teachers";
diff --git a/user/index.php b/user/index.php
index 9e20894c07..f7b4f3c147 100644
--- a/user/index.php
+++ b/user/index.php
@@ -32,6 +32,8 @@
     $string->unenrol     = get_string("unenrol");
     $string->loginas     = get_string("loginas");
     $string->fullprofile = get_string("fullprofile");
+    $string->role        = get_string("role");
+    $string->never       = get_string("never");
 
     if ( $teachers = get_course_teachers($course->id)) {
         echo "<H2 align=center>$course->teachers</H2>";
diff --git a/user/lib.php b/user/lib.php
index c7ec94c0f5..fa085030e7 100644
--- a/user/lib.php
+++ b/user/lib.php
@@ -58,12 +58,19 @@ function print_user($user, $course, $string) {
     echo "<FONT SIZE=-1>";
     echo "<FONT SIZE=3><B>$user->firstname $user->lastname</B></FONT>";
     echo "<P>";
+    if ($user->role and ($user->role <> $course->teacher)) {
+        echo "$string->role: $user->role<BR>";
+    }
     if ($user->maildisplay == 1 or ($user->maildisplay == 2 and $course->category) or isteacher($course->id)) {
         echo "$string->email: <A HREF=\"mailto:$user->email\">$user->email</A><BR>";
     }
     echo "$string->location: $user->city, ".$COUNTRIES["$user->country"]."<BR>";
-    echo "$string->lastaccess: ".userdate($user->lastaccess);
-    echo "&nbsp (".format_time(time() - $user->lastaccess).")";
+    if ($user->lastaccess) {
+        echo "$string->lastaccess: ".userdate($user->lastaccess);
+        echo "&nbsp (".format_time(time() - $user->lastaccess).")";
+    } else {
+        echo "$string->lastaccess: $string->never";
+    }
     echo "</TD><TD VALIGN=bottom BGCOLOR=#FFFFFF NOWRAP>";
 
     echo "<FONT SIZE=1>";