Menu polishing.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:03 +0000 (22:57 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:03 +0000 (22:57 +0100)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
includes/header.php

index 1aa4c02772c619492a6f2fc07f678bedc99ef26d..4e894a6248482f56c5845c35ece879ee09e86d37 100644 (file)
@@ -32,7 +32,7 @@ $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=home">Accueil</a> |
     <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a>
 </div>