From d1d37f46e4c1ccc76c6f8716dedace539fbec4fa Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Sat, 19 Aug 2023 20:46:32 +0800
Subject: [PATCH] Admin.php: better spacing.

---
 Admin.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Admin.php b/Admin.php
index af7a6ce..c393e9a 100644
--- a/Admin.php
+++ b/Admin.php
@@ -78,7 +78,7 @@ if ($_SESSION['user_type'] != "Lecturer" && $_SESSION['user_type'] != "Admin") {
 			if ($_SESSION['user_type'] == "Lecturer") {
 			    echo ' <input type="radio" name="type" value="TA" required="" id="role_TA"> TA (Teaching Assistant) ';
 			} else if ($_SESSION['user_type'] == "Admin"){
-			    echo " <input type='radio' name = 'type' value = 'Lecturer' required = '' id='role_lecturer' > Lecturer ";
+			    echo " <input type='radio' name='type' value='Lecturer' required='' id='role_lecturer'> Lecturer ";
 			}
 			?>
 			<br><br>