<?php include('_header.php'); ?>

<?php
// if you need the user's information, just put them into the $_SESSION variable and output them here
echo WORDING_YOU_ARE_LOGGED_IN_AS . htmlspecialchars($_SESSION['student_name']) . "<br />";
//echo WORDING_PROFILE_PICTURE . '<br/><img src="' . $login->student_gravatar_image_url . '" />;
echo WORDING_PROFILE_PICTURE . '<br/>' . $login->student_gravatar_image_tag;
?>

<div>
    <a href="index.php?logout"><?php echo WORDING_LOGOUT; ?></a>
    <a href="edit.php"><?php echo WORDING_EDIT_USER_DATA; ?></a>
</div>

<?php include('_footer.php'); ?>
