diff --git a/lib/weblib.php b/lib/weblib.php index 0666ce84274..08a2880035a 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -1659,7 +1659,7 @@ function update_groups_button($courseid) { function print_group_menu($groups, $groupmode, $currentgroup, $urlroot) { /// Prints an appropriate group selection menu - echo '
'; + echo '
'; if ($groupmode == VISIBLEGROUPS) { print_string('groupsvisible'); } else {