Use natural sorting on lists

diff --git a/course/groups.php b/course/groups.php
index 0043f09a9117ca7ebdd076153c9650d9239f6fa3..2ac4ca66bb507786217d620b20762268b99474f4 100644 (file)
--- a/course/groups.php
+++ b/course/groups.php
@@ -193,14 +193,14 @@
                     unset($nonmembers[$groupuser->id]);
                     $countusers++;
                 }
-                asort($listmembers[$group->id]);
+                natcasesort($listmembers[$group->id]);
             }
             $listgroups[$group->id] = $group->name." ($countusers)";
         }
-        asort($listgroups);
+        natcasesort($listgroups);
     }
 
-    asort($nonmembers);
+    natcasesort($nonmembers);
 
     if (empty($selectedgroup)) {    // Choose the first group by default
         if ($selectedgroup = array_shift(array_keys($listgroups))) {