+$staticpage = NULL;
+if (file_exists("$Page$Args.html")) {
+ $staticpage = "$Page$Args.html";
+ if (is_link($staticpage)) {
+ $target = preg_replace('/\.html$/', '', readlink($staticpage));
+ header("HTTP/1.1 302 Shorthand");
+ header("Location: $target");
+ exit;
+ }
+}
+elseif (file_exists("$Page$Args/index.html")) {
+ $staticpage = "$Page$Args/index.html";
+}
+elseif (!empty($User['admin'])) {
+ $staticpage = (file_exists("$Page/template.html") ? "$Page/template.html" : 'template.html');
+}
+