title tweaking

diff --git a/course/user.php b/course/user.php
index 6c7a0e2d5232795ddb52cae27cb5c9f16046f7d1..bbebf79c8b50a1397e08eed88553f11743291640 100644 (file)
--- a/course/user.php
+++ b/course/user.php
@@ -32,6 +32,7 @@
     print_heading("$user->firstname $user->lastname");
 
     echo "<TABLE CELLPADDING=10 ALIGN=CENTER><TR>";
+    echo "<TD>Reports: </TD>";
     if ($mode != "summary") {
         echo "<TD><A HREF=user.php?id=$course->id&user=$user->id&mode=summary>Summary</A></TD>";
     } else {