Cutting and pasting too quick

diff --git a/course/lib.php b/course/lib.php
index 362f840934e914843b9023d0c107dfc5fbd478ea..9ba67fdbfed600acb2134fc02a2b6a88a03b97dc 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -757,8 +757,8 @@ function print_course_admin_links($course, $width=180) {
             }
         }
 
-        if (!$course->teachers) {
-            $course->teachers = get_string("defaultcourseteachers");
+        if (!$course->students) {
+            $course->students = get_string("defaultcoursestudents");
         }
         $admindata[]="<a href=\"student.php?id=$course->id\">$course->students...</a>";
         $adminicon[]="<img src=\"$pixpath/i/users.gif\" height=16 width=16 alt=\"\">";