diff --git a/user/index.php b/user/index.php
index e4a6779eabe..fa6a8e68cff 100644
--- a/user/index.php
+++ b/user/index.php
@@ -54,7 +54,7 @@
function print_user($user, $course, $teacherlinks) {
- global $COUNTRIES;
+ global $USER, $COUNTRIES;
echo "
";
// Print other functions
- if ($user->id == $USER->id and !isguest() ) {
- echo "";
+ echo "";
+ if (isteacher($course->id) or ($user->id == $USER->id and !isguest()) ) {
echo " | ";
- echo "
\n";
}
+ if (isteacher($course->id)) {
+ echo " | ";
+ echo " | ";
+ }
+ echo "
\n";
print_user_discussions($course, $user);