Slightly more correct terminology on groups menu

2004-02-24 06:38:26 +00:00
parent 84a2fdd706
commit 743a92ff49
1 changed files with 1 additions and 1 deletions
@@ -1687,7 +1687,7 @@ function print_group_menu($groups, $groupmode, $currentgroup, $urlroot) {
 /// Prints an appropriate group selection menu

 /// Add an "All groups" to the start of the menu
-    $groupsmenu[0] = get_string("allgroups");
+    $groupsmenu[0] = get_string("allparticipants");
    foreach ($groups as $key => $groupname) {
        $groupsmenu[$key] = $groupname;
    }