X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=includes%2Fheader.php;h=31af395aaab226c80fa7103943878f5d337882e5;hb=01adaa67ec825ce01c2921dca8ea4187a5efdb0e;hp=2e32552db9b69ea1d17e2cc45623f82ca953a456;hpb=d5622f71ef49ac2313f5b98385bab231a9d64692;p=Project_webapp.git

diff --git a/includes/header.php b/includes/header.php
index 2e32552..31af395 100644
--- a/includes/header.php
+++ b/includes/header.php
@@ -9,7 +9,7 @@ include('lib/utils.php');
 $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();
@@ -33,10 +33,15 @@ $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 re&#769;servations</a> |\n";
+    }
+    ?>
 </div>
 
-
 <?php