Code cleanups and comments

[Project_webapp.git] / includes / header.php

diff --git a/includes/header.php b/includes/header.php
index 2e32552db9b69ea1d17e2cc45623f82ca953a456..31af395aaab226c80fa7103943878f5d337882e5 100644 (file)
--- 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