From d39823d9ef8043098b81d9ad8fdf72820d6260b9 Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Thu, 26 Mar 2026 13:14:57 +0000
Subject: [PATCH] Actualiser include/nav.php

---
 include/nav.php | 28 +++++-----------------------
 1 file changed, 5 insertions(+), 23 deletions(-)

diff --git a/include/nav.php b/include/nav.php
index e1e8c78..277edbe 100644
--- a/include/nav.php
+++ b/include/nav.php
@@ -1,25 +1,7 @@
-<?php
-// Démarrage de session si ce n'est pas déjà fait
-if (session_status() === PHP_SESSION_NONE) {
-    session_start();
-}
-
-// Vérifie si l'utilisateur est connecté
-if (!isset($_SESSION['user'])) {
-    header("Location: /login.php");
-    exit();
-}
-?>
-
-<nav style="margin-bottom:20px;">
-    <a href="/dashboard.php">Dashboard</a>
-
-    <?php if (isset($_SESSION['role']) && $_SESSION['role'] === 'Admin'): ?>
-        <a href="/admin_users.php">Utilisateurs</a>
-        <a href="/admin_settings.php">Paramètres</a>
-    <?php endif; ?>
-
-    <a href="/logout.php">Déconnexion</a>
+<nav>
+    <a href="../dashboard.php">Dashboard</a>
+    <a href="../admin_users.php">Utilisateurs</a>
+    <a href="../admin_settings.php">Paramètres</a>
+    <a href="../logout.php">Déconnexion</a>
 </nav>
-
 <hr>
\ No newline at end of file