Improve log links

diff --git a/course/lib.php b/course/lib.php
index ac0603922d36acb0950035d0695e1beb28cac82a..8229e7cc0535b80011f69e51b8085a7a4e513a4e 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -397,6 +397,7 @@ function print_log_selector_form($course, $selecteduser=0, $selecteddate="today"
 
 function make_log_url($module, $url) {
     switch ($module) {
+        case "user":
         case "course":
         case "user":
         case "file":
@@ -405,6 +406,10 @@ function make_log_url($module, $url) {
         case "admin":
             return "/$module/$url";
             break;
+        case "library":
+        case "":
+            return "/";
+            break;
         default:
             return "/mod/$module/$url";
             break;