From 72dda73043a3d73e9b83b9e7dcba8ba9d15d93ac Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Sat, 24 Jul 2021 10:40:43 +0800
Subject: [PATCH] Admin.php: better indentation.

---
 Admin.php | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/Admin.php b/Admin.php
index b8bb7ba..954109b 100644
--- a/Admin.php
+++ b/Admin.php
@@ -143,17 +143,17 @@ if(isset($_SESSION['info_Admin_Users'])) {
      </div>
    
 
-        <!-- code contributed by Xu Xiaopeng (https://github.com/xxp1999) -->
-	
-   	<div id="menu2"  class="container tab-pane fade" style="margin-top:10px" >
-		<b>Please separate student numbers with spaces.</b><br>
-		<form action="batch_insert.php" method="post">
-		    <p>
-			<textarea cols="80" rows="16" name="users" required=""></textarea>
-	            </p>
-			<input type="submit" class="btn btn-primary" value="Create All"><br>
-		</form>	
-   	</div>
+      <!-- code contributed by Xu Xiaopeng (https://github.com/xxp1999) -->
+      
+      <div id="menu2"  class="container tab-pane fade" style="margin-top:10px" >
+	<b>Please separate student numbers with spaces.</b><br>
+	<form action="batch_insert.php" method="post">
+	  <p>
+	    <textarea cols="80" rows="16" name="users" required=""></textarea>
+	  </p>
+	  <input type="submit" class="btn btn-primary" value="Create All"><br>
+	</form>	
+      </div>
 	
   
   </div>