From 6ee410e3c32e44af766f7c07244c2dd92f4b4cdb Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Tue, 23 Jul 2002 18:26:01 +0000
Subject: [PATCH] title tweaking

---
 course/user.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/course/user.php b/course/user.php
index 6c7a0e2d52..bbebf79c8b 100644
--- 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 {
-- 
2.39.5