From 743a92ff4939eb108a184561ba7bc3fa9923d080 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 24 Feb 2004 06:38:26 +0000
Subject: [PATCH] Slightly more correct terminology on groups menu

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index bb018c0da8..fac8d0eca6 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -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;
     }
-- 
2.39.5