diff --git a/lib/weblib.php b/lib/weblib.php
index fac8d0eca69..6026bc4401e 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1692,14 +1692,14 @@ function print_group_menu($groups, $groupmode, $currentgroup, $urlroot) {
$groupsmenu[$key] = $groupname;
}
- echo '
';
+ echo '| ';
if ($groupmode == VISIBLEGROUPS) {
print_string('groupsvisible');
} else {
print_string('groupsseparate');
}
echo ':';
- echo ' | ';
+ echo ' | ';
popup_form($urlroot.'&group=', $groupsmenu, 'selectgroup', $currentgroup, "", "", "", false, "self");
echo ' | ';
|