From eef84ab25f5c8cc780f3d1d9c993856f5e569aa5 Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Mon, 21 Aug 2023 19:21:35 +0800
Subject: [PATCH] Admin.php: show Admin link icon for Admin user.

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

diff --git a/Header.php b/Header.php
index 1150a8d..bf1a0a9 100644
--- a/Header.php
+++ b/Header.php
@@ -157,7 +157,7 @@ if (mysqli_connect_errno()) {
 
 
 			<?php
-			    if ($_SESSION['user_type'] == "Lecturer") { // Show Admin link
+			    if ($_SESSION['user_type'] == "Lecturer" || $_SESSION['user_type'] == 'Admin') { // Show Admin link
 			        echo "&nbsp;&nbsp;&nbsp;&nbsp;<a class='nav-link' href=\"~\..\Admin.php\" id=\"admin_tab\"><i class='fa fa-cog'></i>Admin</a>";
 			    }
 			?>