diff options
Diffstat (limited to '')
| -rwxr-xr-x | ressources/includes/header.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ressources/includes/header.php b/ressources/includes/header.php index 3369435..b6c5288 100755 --- a/ressources/includes/header.php +++ b/ressources/includes/header.php @@ -43,7 +43,6 @@ $page_actuel = basename($_SERVER['SCRIPT_NAME']); <li <?php if ($page_actuel == 'index.php') {echo ' id="en_cours"';} ?> ><a href="index.php"><i class="fa fa-home fa-lg"></i> Accueil</a></li> <li <?php if ($page_actuel == 'projets.php') {echo ' id="en_cours"';} ?> ><a href="projets.php"><i class="fa fa-book fa-lg"></i> Projets</a></li> <li <?php if ($page_actuel == '#.php') {echo ' id="en_cours"';} ?> ><a href="#"><i class="fa fa-code fa-lg"></i> Hacktualité</a></li> - <li <?php if ($page_actuel == 'admin.php') {echo ' id="en_cours"';} ?> ><a href="admin.php"><i class="fa fa-user-secret fa-lg"></i> Admin Zone</a></li> </ul> </nav> |