Header.php: show user name in bold face.

Bug430-Eden2
Lan Hui 2023-08-22 19:39:41 +08:00
parent 44f478107f
commit 5ba25e7294
1 changed files with 3 additions and 3 deletions

View File

@ -135,7 +135,7 @@ if (mysqli_connect_errno()) {
<a class="nav-link" href="#">
<?php
if (isset($_SESSION["user_fullname"])) {
echo $_SESSION['user_fullname'];
echo "<b>" . $_SESSION['user_fullname'] . "</b>";
}
?>
@ -144,7 +144,7 @@ if (mysqli_connect_errno()) {
<?php
$c_date = date("Y-m-d H:i");
if (isset($_SESSION['user_student_id']))
echo "(" . $_SESSION['user_type'] . " - " . $_SESSION['user_student_id'] . ") ";
echo "(" . $_SESSION['user_type'] . " ID: " . $_SESSION['user_student_id'] . ") ";
elseif (isset($_SESSION['user_type']))
echo "(" . $_SESSION['user_type'] . ") ";
?>