Admin.php: show Admin link icon for Admin user.

2023-08-21 19:21:35 +08:00 · 2023-08-21 19:21:35 +08:00 · eef84ab25f
parent aed70f3056
commit eef84ab25f
1 changed files with 1 additions and 1 deletions
--- 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>";
 			    }
 			?>