From c03971be7aa40b0db4f6b28a9fdc15e2b6829cb0 Mon Sep 17 00:00:00 2001
From: Jan BELLON <jan@intra.e59.fr>
Date: Tue, 12 Mar 2024 13:12:25 +0000
Subject: [PATCH] Update file editpage.php

---
 html/editpage.php | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/html/editpage.php b/html/editpage.php
index f26a3c63..935709f3 100644
--- a/html/editpage.php
+++ b/html/editpage.php
@@ -209,17 +209,19 @@ if(isset($fichier)) {
                                 echo '</form></div>';
                             }
                         } else {
-                            echo "<div><div><h2>Pages</h2></div>";
-                            echo "<div>";
-                            $pages = scandir($wwwroot . "/content/");
-                            foreach($pages as $page) {
-                                if($page != "." && $page != "..") {
-                                    if (is_file($wwwroot . "/content/" . $page)) {
-                                        echo "<a href='?page=" . pathinfo($page, PATHINFO_FILENAME) . "'><div class='button'>" . pathinfo($page, PATHINFO_FILENAME) . "</div></a>";
+                            if($_SESSION['role'] >= 3) {
+                                echo "<div><div><h2>Pages</h2></div>";
+                                echo "<div>";
+                                $pages = scandir($wwwroot . "/content/");
+                                foreach($pages as $page) {
+                                    if($page != "." && $page != "..") {
+                                        if (is_file($wwwroot . "/content/" . $page)) {
+                                            echo "<a href='?page=" . pathinfo($page, PATHINFO_FILENAME) . "'><div class='button'>" . pathinfo($page, PATHINFO_FILENAME) . "</div></a>";
+                                        }
                                     }
                                 }
+                                echo "</div></div><div>";
                             }
-                            echo "</div></div><div>";
                             echo "<div><h2>Articles</h2></div>";
                             echo "<form action='' method='get'><input type='text' placeholder='Article' name='search'><input type='submit' value='Rechercher'></form>";