?php if(!isset($_SESSION['user_email'])){ header('Location:login.php'); exit; } $user_name = $_SESSION['user_name'] ?? 'Guest'; $user_initial = strtoupper(substr($user_name, 0, 1)); ?>