From c431dc64d721a7602381c651ec20976768746a3d Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Thu, 9 Apr 2026 13:34:44 +0000
Subject: [PATCH] Actualiser admin_users.php

---
 admin_users.php | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/admin_users.php b/admin_users.php
index f5c2cf8..d6c6da8 100644
--- a/admin_users.php
+++ b/admin_users.php
@@ -1,14 +1,16 @@
 <?php
 session_start();
-if (!isset($_SESSION['user']) || $_SESSION['role'] !== 'Admin') {
+require_once 'include/session_check.php';
+if ($_SESSION['role'] !== 'Admin') {
     header("Location: dashboard.php");
     exit();
 }
-
 include 'include/header.php';
 ?>
-
-    <h2>Gestion des utilisateurs</h2>
-    <p>Seul l’admin peut voir cette page.</p>
-
+<main>
+    <div class="logs-container">
+        <h2>Gestion des utilisateurs</h2>
+        <p>Seul l'admin peut voir cette page.</p>
+    </div>
+</main>
 <?php include 'include/footer.php'; ?>
\ No newline at end of file