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