(string)$title, "content" => (string)$content, "higher" => $higher, "public" => (bool)$public], (int)$id); $_SESSION["editHistory"] = ["changesStored", $translations['storedEditsToPage'] . " $title"]; header('Location: page.php?id=' . $targetID); return; } else if ($task == "delete") { if (!isset($id)) { echo printErrorPage($translations['specifyToDelete']); return; } unlink(__DIR__ . "/../data/static/$id.json"); generateStaticPgCaches(); $_SESSION["editHistory"] = ["changesAborted", $translations['deletedPage'] . " $title"]; header('Location: pages.php'); return; } } /* * Output */ if (!isset($public)) $public = false; echo printBackendHead($settings, $pageTitle, $pageTitle, $settings['logo']); echo printBackendHeader($pageTitle, $translations['helpSinglePage']); echo '