2 include('header.html');
3 include('lib/utils.php');
5 * Let's use an array as the list of tunables.
6 * Put in a variable the inclusion of this file:
7 * $config_var = include('config.php');
9 $configs = include('config.php');
12 * session_start start a unique session for the current browser client
15 $is_logged_in = chk_logged_in();
18 <!-- Put headers stuff here
-->
19 <a href
="<?php echo $configs['root_url'] ?>/index.php?page=home">Bienvenue sur Air Polytech
!</a
>
22 <a href
="<?php echo $configs['root_url'] ?>/index.php?page=account">Mon espace client
</a
>
25 $root_url = $configs['root_url'];
27 echo htmlentities($_SESSION['email']) . " <br>";
28 echo "<a href=\"$root_url/index.php?page=logout\">Se déconnecter</a>";
30 echo "<a href=\"$root_url/index.php?page=login\">S'identifier</a>";
35 |
<a href
="<?php echo $configs['root_url'] ?>/index.php?page=home">Accueil
</a
>
36 |
<a href
="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol
</a
>
40 echo "<a href=\"" . $configs['root_url'] . "/index.php?page=reservations\">Mes réservations</a> |\n";