Admin.php: better indentation.

Hui-IndentCode
Lan Hui 2021-07-24 10:40:43 +08:00
parent 5cc20395a0
commit 72dda73043
1 changed files with 11 additions and 11 deletions

View File

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