diff --git a/course/lib.php b/course/lib.php index 257fec8fc6b..6bc289511f2 100644 --- a/course/lib.php +++ b/course/lib.php @@ -1920,14 +1920,14 @@ function print_course_search($value="", $return=false, $format="plain") { $output = '
'; } else if ($format == 'navbar') { $output = ''; }