"Übersicht",
"instances.php" => "Instanzen",
"releases.php" => "Releases",
"backups.php" => "Backups",
"settings.php" => "Einstellungen",
];
}
function manageRenderHeader(string $pageTitle, array $messages = [], array $errors = []): void
{
$current = basename((string) ($_SERVER["SCRIPT_NAME"] ?? ""));
?>
<?php echo manageEscape($pageTitle); ?> – Manage