From 46f85c7b0cf2ddac7b397039b828e30c27a26dea Mon Sep 17 00:00:00 2001
From: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
Date: Thu, 26 May 2022 02:49:18 +0100
Subject: [PATCH] page-edit: add missing refresh header

---
 modules/page-edit.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/page-edit.php b/modules/page-edit.php
index 06f42c3..7d5a3e3 100644
--- a/modules/page-edit.php
+++ b/modules/page-edit.php
@@ -415,6 +415,7 @@ window.addEventListener("load", function(event) {
 				http_response_code(403);
 				header("x-failure-reason: permissions-other-user-page");
 				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.");
 			}
 			if(!isset($_POST["content"]))