Well, this is a bug FIX at least! :)

All teachers showed up as having editing rights... corrected now.

diff --git a/course/groups.php b/course/groups.php
index 2d3161c9a15e904d779d7bb2f19c21e2dcecbab1..036983c9d360b06b3bb5ff0df59c7eb540fc64f8 100644 (file)
--- a/course/groups.php
+++ b/course/groups.php
@@ -184,7 +184,7 @@
     if ($teachers = get_course_teachers($course->id)) {
         foreach ($teachers as $teacher) {
             $prefix = '- ';
-            if (isteacheredit($course->id, $user->id)) {
+            if (isteacheredit($course->id, $teacher->id)) {
                 $prefix = '# ';
             }
             $nonmembers[$teacher->id] = $prefix.fullname($teacher, true);