Removing <font> tags. I didn't add any styles because there was no

visible difference in text size after the removal.

diff --git a/user/index.php b/user/index.php
index d2bab5fac822637754bd363df9977e303965c0de..a0f206c3bbc6caf78c6e4730216b092c48331f41 100644 (file)
--- a/user/index.php
+++ b/user/index.php
@@ -290,9 +290,9 @@ function print_user_table($users, $isteacher) {
 
             $table->data[] = array ($picture,
                 "<b><a href=\"$CFG->wwwroot/user/view.php?id=$user->id&amp;course=$course->id\">$fullname</a></b>",
-                "<font size=\"2\">$user->city</font>",
-                "<font size=\"2\">$user->country</font>",
-                "<font size=\"2\">$lastaccess</font>");
+                $user->city,
+                $user->country,
+                $lastaccess);
         }
         print_table($table);
 }