Use fullname for Guest name

diff --git a/course/lib.php b/course/lib.php
index 0b88f051367e82cae10721bd31ce55d3625a16c5..ab8e0dd39918cf91a054be2678f20a277337bc48 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -42,7 +42,7 @@ function print_log_selector_form($course, $selecteduser=0, $selecteddate="today"
         }
     }
     if ($guest = get_guest()) {
-        $users[$guest->id] = "$guest->firstname $guest->lastname";
+        $users[$guest->id] = fullname($guest);
     }
 
     if (isadmin()) {