1<?php 2// index.php -- HotCRP home page 3// Copyright (c) 2006-2018 Eddie Kohler; see LICENSE. 4 5require_once("lib/navigation.php"); 6 7if (Navigation::page() !== "index") { 8 $page = Navigation::page(); 9 if (is_readable("$page.php") 10 /* The following is paranoia (currently can't happen): */ 11 && strpos($page, "/") === false) { 12 include("$page.php"); 13 exit; 14 } else if ($page == "images" || $page == "scripts" || $page == "stylesheets") { 15 $_GET["file"] = $page . Navigation::path(); 16 include("cacheable.php"); 17 exit; 18 } else { 19 header("HTTP/1.0 404 Not Found"); 20 exit; 21 } 22} 23 24require_once("pages/home.php"); 25