diff --git a/course/teacher.php b/course/teacher.php index 4d0622157a8..9cbc83fdc47 100644 --- a/course/teacher.php +++ b/course/teacher.php @@ -251,11 +251,13 @@ } if ($search or $usercount > MAX_USERS_PER_PAGE) { - echo "