From cf87740b65704406a203d4cf072b93cbee19eae9 Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Mon, 23 Mar 2026 15:18:06 +0000
Subject: [PATCH] Actualiser admin_users.php

---
 admin_users.php | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/admin_users.php b/admin_users.php
index 8335329..54da65f 100644
--- a/admin_users.php
+++ b/admin_users.php
@@ -1,8 +1,6 @@
 <?php
 session_start();
-
-// Bloquer si pas Admin
-if (!isset($_SESSION['role']) || $_SESSION['role'] !== 'Admin') {
+if (!isset($_SESSION['user']) || $_SESSION['role'] !== 'Admin') {
     header("Location: dashboard.php");
     exit();
 }
@@ -12,6 +10,6 @@ include 'include/nav.php';
 ?>
 
     <h2>Gestion des utilisateurs</h2>
-    <p>Seules les personnes avec le rôle Admin peuvent voir cette page.</p>
+    <p>Seul l’admin peut voir cette page.</p>
 
 <?php include 'include/footer.php'; ?>
\ No newline at end of file