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

diff --git a/includes/header.php b/includes/header.php
index 4e894a6..13ce88c 100644
--- a/includes/header.php
+++ b/includes/header.php
@@ -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