diff --git a/course/lib.php b/course/lib.php index 5b901b2005a..c61cd5a2a84 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 = ''; }