diff --git a/course/lib.php b/course/lib.php index ac0603922d3..8229e7cc053 100644 --- 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;