*/ // Include functions and settings. require_once __DIR__ . "/inc/functions.php"; require_once __DIR__ . "/inc/search.php"; // Ensure working environment for frontend. ensureEnvironment(); $pages = loadPublicPages(); // Load overview of pages. /* * Load data. */ /* * Output */ echo printPublicHead($settings, "search", $settings['pageTitle'], $settings['logo']); echo printPublicHeader($settings['pageTitle']); echo printStaticPagePart("banner", "header"); // Print aside (if need be) echo generatePublicNav($pages); echo '