diff --git a/lib/weblib.php b/lib/weblib.php index c1eea0abb83..3e171f08629 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -395,7 +395,7 @@ function choose_from_menu ($options, $name, $selected="", $nothing="choose", $sc if ($nothing) { $output .= "