diff --git a/course/lib.php b/course/lib.php index b269d912b5a..f9c0f6d2db0 100644 --- a/course/lib.php +++ b/course/lib.php @@ -1834,7 +1834,7 @@ function print_courses($category) { echo '