mirror of
https://github.com/sbrl/Pepperminty-Wiki.git
synced 2024-10-31 21:33:00 +00:00
page-edit: add missing refresh header
This commit is contained in:
parent
e54bacdcac
commit
46f85c7b0c
1 changed files with 1 additions and 0 deletions
|
@ -415,6 +415,7 @@ window.addEventListener("load", function(event) {
|
||||||
http_response_code(403);
|
http_response_code(403);
|
||||||
header("x-failure-reason: permissions-other-user-page");
|
header("x-failure-reason: permissions-other-user-page");
|
||||||
header("content-type: text-plain");
|
header("content-type: text-plain");
|
||||||
|
header("refresh: 5; url=index.php?page=" . rawurlencode($env->page));
|
||||||
exit("Error: The page {$env->page} is a user page. You must be logged in as either that user or a moderator in order to edit it.");
|
exit("Error: The page {$env->page} is a user page. You must be logged in as either that user or a moderator in order to edit it.");
|
||||||
}
|
}
|
||||||
if(!isset($_POST["content"]))
|
if(!isset($_POST["content"]))
|
||||||
|
|
Loading…
Reference in a new issue