92875986c20469ad9b0ce42442e0452de74ccb4a
3 $file = __DIR__
. urldecode($_SERVER["REQUEST_URI"]);
4 error_log("uri:$file\n");
10 if (is_dir($file) && file_exists($file."/index.html")) {
11 readfile($file."/index.html");
13 $file = rtrim($file, "/").".html";
14 if (file_exists($file)) {