?>
</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=home">Accueil</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