Merge participant count from stable

diff --git a/user/index.php b/user/index.php
index ca064cc62307a707d08f74abca02ef362c1802e6..654bbb406a50c7153f731f62d1569040a228a07c 100644 (file)
--- a/user/index.php
+++ b/user/index.php
@@ -405,7 +405,11 @@
         }
         print_heading($heading, 'center', 3);
     } else {
-        print_heading(get_string('allparticipants'), 'center', 3);
+        if ($matchcount < $totalcount) {
+            print_heading(get_string('allparticipants').': '.$matchcount.'/'.$totalcount, 'center', 3);
+        } else {
+            print_heading(get_string('allparticipants').': '.$matchcount, 'center', 3);
+        }
     }