Whoops ... removed Choose...

diff --git a/course/lib.php b/course/lib.php
index acc55bc33552a9dc4aa5ec9369271c4e217cc3e2..c1191ec016093a3c638e86580b2a64aac10d43f9 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -78,7 +78,7 @@ function print_log_selector_form($course, $selecteduser=0, $selecteddate="today"
     echo "<CENTER>";
     echo "<FORM ACTION=log.php METHOD=get>";
     if (isadmin()) {
-        choose_from_menu ($courses, "id", $course->id);
+        choose_from_menu ($courses, "id", $course->id, "");
     } else {
         echo "<INPUT TYPE=hidden NAME=id VALUE=\"$course->id\">";
     }