From ae707cffca063c0f371153624d356a77ff1c2ba6 Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Wed, 6 Sep 2023 19:36:14 +0800
Subject: [PATCH] Courses.php: better spacing

---
 Courses.php | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/Courses.php b/Courses.php
index 01482f0..a42c828 100644
--- a/Courses.php
+++ b/Courses.php
@@ -330,19 +330,15 @@ include 'Header.php';
                                             WHERE Course_ID=$course_id");
 
             echo "<span id='dropstudents' style='display:none;'> <select name='studentid'>";
-            while($row = mysqli_fetch_assoc($resultx1))
-            {
-		$studentid=$row['Student_ID'];
-		$stdname=$row['Full_Name'];
-
-		echo "<option value='$studentid'> $stdname($studentid) </option> ";
+            while($row = mysqli_fetch_assoc($resultx1)) {
+                $studentid = $row['Student_ID'];
+                $stdname = $row['Full_Name'];
+                echo "<option value='$studentid'> $stdname($studentid) </option> ";
             }
             echo "</select><br>Reason <input type='text' name='reason'>"
                . "<input type='hidden' name='url' value='$course_url'>"
                . " </span>";
-
             return;
-
 	    }
 
 	    ?>
@@ -352,7 +348,7 @@ include 'Header.php';
 	    <div class="col-md-8">
 
 		<?php
-		$user_name=$_SESSION['user_fullname'];
+		$user_name = $_SESSION['user_fullname'];
 
 		echo "<h1 class='display-6'>My courses</h1>";