if (file_exists("$Page$Args.html")) {
$staticpage = "$Page$Args.html";
if (is_link($staticpage)) {
- $target = readlink($staticpage);
+ $target = preg_replace('/\.html$/', '', readlink($staticpage));
header("HTTP/1.1 302 Shorthand");
header("Location: $target");
exit;