title tweaking

This commit is contained in:
martin 2002-07-23 18:26:01 +00:00
parent 49a6849ee5
commit 6ee410e3c3

View file

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