<?php if (isset($_GET["edit"])) { if (!isset($_SESSION["user_id"]) || $_SESSION["role"] != Role::ADMIN) require_once "server_files/403.php"; if (isset($_POST["edit_page"])) { $content = $_POST["content"]; $CONFIG->setIndexPage(htmlspecialchars($content)); header("Location: /"); exit(0); } } require_once "server_files/views/index.php";