From a586ce14d77f1c8ac05a7ecee9ddc68b60943f9c Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Fri, 22 May 2026 12:20:47 +0000
Subject: [PATCH] Actualiser include/session_check.php

---
 include/session_check.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/session_check.php b/include/session_check.php
index b756851..801faef 100644
--- a/include/session_check.php
+++ b/include/session_check.php
@@ -1,7 +1,7 @@
 <?php
 $timeout = 900; // 15 minutes
 
-$usersFile = __DIR__ . '/../users.json';
+$usersFile = __DIR__ . '/../users.json.php';
 $users = file_exists($usersFile) ? json_decode(file_get_contents($usersFile), true) : [];
 
 // Vérifier si connecté
@@ -10,14 +10,14 @@ if (!isset($_SESSION['user'])) {
     exit();
 }
 
-// Vérifier si l'utilisateur existe toujours dans users.json
+// Vérifier si l'utilisateur existe toujours dans users.json.php
 if (!isset($users[$_SESSION['user']])) {
     session_destroy();
     header("Location: login.php?timeout=1");
     exit();
 }
 
-// Vérifier si le rôle en session correspond toujours au rôle dans users.json
+// Vérifier si le rôle en session correspond toujours au rôle dans users.json.php
 if ($_SESSION['role'] !== $users[$_SESSION['user']]['role']) {
     $_SESSION['role'] = $users[$_SESSION['user']]['role'];
 }