<?php
$pages = json_decode(file_get_contents('pages.json'), true);
$page = $_GET['page'] ?? 'home';
if (!isset($pages[$page])) {
$page = 'home';
}
$pageData = $pages[$page];
$contentFile = basename($pageData['file']);
$contentFilePath = "content/{$contentFile}";
?>
<html>
<head>
<title><?= htmlspecialchars($pageData['title']) ?></title>
</head>
<body>
<main>
<?php include $contentFilePath; ?>
</main>
</body>
</html>
That is a pretty big missing part. Not as big as the galaxy, but still huge.