Admin.php: better spacing.

Bug430-Eden2
Lan Hui 2023-08-19 20:46:32 +08:00
parent 2aefceedee
commit d1d37f46e4
1 changed files with 1 additions and 1 deletions

View File

@ -78,7 +78,7 @@ if ($_SESSION['user_type'] != "Lecturer" && $_SESSION['user_type'] != "Admin") {
if ($_SESSION['user_type'] == "Lecturer") { if ($_SESSION['user_type'] == "Lecturer") {
echo ' <input type="radio" name="type" value="TA" required="" id="role_TA"> TA (Teaching Assistant) '; echo ' <input type="radio" name="type" value="TA" required="" id="role_TA"> TA (Teaching Assistant) ';
} else if ($_SESSION['user_type'] == "Admin"){ } 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> <br><br>