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