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

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

diff --git a/Admin.php b/Admin.php
index c393e9a..4842ba3 100644
--- a/Admin.php
+++ b/Admin.php
@@ -83,8 +83,8 @@ if ($_SESSION['user_type'] != "Lecturer" && $_SESSION['user_type'] != "Admin") {
 			?>
 			<br><br>
 			<button type="submit" class="btn btn-primary" id="create_btn">Create</button>
-			<?php
 
+			<?php
 			error_reporting(E_ALL);
 			if (isset($_SESSION['info_Admin_Users'])) {
 			    echo  '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_Admin_Users'] . '</div>';
@@ -94,7 +94,6 @@ if ($_SESSION['user_type'] != "Lecturer" && $_SESSION['user_type'] != "Admin") {
 			    echo  '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_Admin_Users'] . '</div>';
 			    $_SESSION['info_Admin_Users'] = null;
 			}
-
 			?>
 
 		    </form>