Actualiser admin_users.php

2026-03-26 14:45:47 +00:00
parent ea784c04de
commit 987d9342dd
1 changed files with 0 additions and 1 deletions
--- a/admin_users.php
+++ b/admin_users.php
@@ -6,7 +6,6 @@ if (!isset($_SESSION['user']) || $_SESSION['role'] !== 'Admin') {
 }

 include 'include/header.php';
-include 'include/nav.php';
 ?>

    <h2>Gestion des utilisateurs</h2>