diff --git a/course/lib.php b/course/lib.php index 55c63d28a28..5812d12cabd 100644 --- a/course/lib.php +++ b/course/lib.php @@ -1898,20 +1898,23 @@ function print_course_search($value="", $return=false, $format="plain") { if ($format == 'plain') { $output = '
'; } else if ($format == 'short') { $output = ''; } else if ($format == 'navbar') { $output = ''; }