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

diff --git a/includes/header.php b/includes/header.php
index 4e894a6..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();
@@ -32,11 +32,16 @@ $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=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 re&#769;servations</a> |\n";
+    }
+    ?>
 </div>
 
-
 <?php