From 24af3919612d84b7e2e82d49b29067ccbb5237ce Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Fri, 25 Aug 2023 21:50:14 +0800
Subject: [PATCH] Submissions.php: show group count.

---
 Submissions.php | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Submissions.php b/Submissions.php
index 902a2ed..a0a37b1 100644
--- a/Submissions.php
+++ b/Submissions.php
@@ -92,6 +92,15 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
                 }
             }
 
+            $resultx5 = mysqli_query($con, "SELECT COUNT(*) as cnt FROM course_groups_table WHERE Course_id=$c_id");
+            if (mysqli_num_rows($resultx5) == 0) {
+                $count_group = 0;
+            } else {
+                while ($row = mysqli_fetch_assoc($resultx5)) {
+                    $count_group = $row['cnt'];
+                }
+            }
+
             ?>
 
             <p class="text-muted">Assignment submissions (<?php echo $count_subs; ?>)</p>
@@ -109,7 +118,7 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
                 </li>
 
                 <li class="nav-item">
-                    <a class="nav-link" href="#menu4">Course groups</a>
+                    <a class="nav-link" href="#menu4">Course groups <b>(<?php echo $count_group; ?>)</b></a>
                 </li>
             </ul>
             <div class="tab-content">