7fa045e6c4544b73c84faa57493184d381142070
3 $uri = urldecode($_SERVER["REQUEST_URI"]);
5 if (strpos($uri, "/ext-ion") === 0) {
6 $uri = substr($uri, strlen("/ext-ion"));
8 $file = rtrim(__DIR__
. $uri, "/");
10 switch (pathinfo($file, PATHINFO_EXTENSION
)) {
11 case "js": header("content-type: text/javascript"); break;
12 case "css": header("content-type: text/css"); break;
14 case "": header("content-type: text-plain"); break;
17 } elseif (is_dir($file) && file_exists("$file/index.html")) {
18 readfile("$file/index.html");
21 if (file_exists($file)) {