$configs = include('config.php');
/**
- * [session_start start a unique session for the current browser client]
+ * session_start start a unique session for the current browser client
*/
session_start();
$is_logged_in = chk_logged_in();
</div>
<div id="menu">
| <a href="<?php echo $configs['root_url'] ?>/index.php?page=home">Accueil</a>
- | <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a> |
+ | <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a>
+ |
+ <?php
+ if ($is_logged_in) {
+ echo "<a href=\"" . $configs['root_url'] . "/index.php?page=reservations\">Mes réservations</a> |\n";
+ }
+ ?>
</div>
-
<?php