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

---
 include/nav.php | 33 +++++++++++++++++++++++++--------
 1 file changed, 25 insertions(+), 8 deletions(-)

diff --git a/include/nav.php b/include/nav.php
index dd62046..e1e8c78 100644
--- a/include/nav.php
+++ b/include/nav.php
@@ -1,8 +1,25 @@
-<nav>
-    <ul>
-        <li><a href="../index.php">Dashboard</a></li>
-        <li><a href="../admin_users.php">Utilisateurs</a></li>
-        <li><a href="../admin_settings.php">Paramètres</a></li>
-        <li><a href="../logout.php">Déconnexion</a></li>
-    </ul>
-</nav>
\ No newline at end of file
+<?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>
+
+<hr>
\ No newline at end of file