From 5ee25cf7a7c20d3dc803e7614541c8b86ddb930f Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Fri, 22 May 2026 12:12:29 +0000
Subject: [PATCH] Actualiser admin_users.php

---
 admin_users.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin_users.php b/admin_users.php
index 9a70a33..6673171 100644
--- a/admin_users.php
+++ b/admin_users.php
@@ -6,7 +6,7 @@ if ($_SESSION['role'] !== 'Admin') {
     exit();
 }
 
-$usersFile = 'users.json';
+$usersFile = 'users.json.php';
 $users = file_exists($usersFile) ? json_decode(file_get_contents($usersFile), true) : [];
 $message = '';
 $success = '';