From 46d0e380508fb6191a1f9a4ec89b5eebbee6491b Mon Sep 17 00:00:00 2001
From: Thomas Rubini <74205383+ThomasRubini@users.noreply.github.com>
Date: Fri, 20 Jan 2023 19:21:23 +0100
Subject: [PATCH] add a button to manage user for admins

---
 Views/user/edit.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Views/user/edit.php b/Views/user/edit.php
index e025d0c..ca2a9bf 100644
--- a/Views/user/edit.php
+++ b/Views/user/edit.php
@@ -1,6 +1,11 @@
 <main>
 
-    <?php if($A_view["ADMIN"]) echo "<p>Compte administrateur</p>"; ?>
+    <?php
+        if ($A_view["ADMIN"]) {
+            echo "<p>Compte administrateur</p>";
+            echo "<a href='/manageUser'>Gestion des utilisateurs</a>";
+        }
+    ?>
 
     <a href="/user/logout">Se déconnecter</a>