git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nieuws: placeholder include for user replies
[minimedit.git]
/
page.php
diff --git
a/page.php
b/page.php
index 070742643481a29ad0a818a6173841e690b7fdfd..8979e6298d0d7c7d45a961264af9ce5a84182685 100644
(file)
--- a/
page.php
+++ b/
page.php
@@
-137,7
+137,7
@@
$staticpage = NULL;
if (file_exists("$Page$Args.html")) {
$staticpage = "$Page$Args.html";
if (is_link($staticpage)) {
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;
header("HTTP/1.1 302 Shorthand");
header("Location: $target");
exit;