From d9e17a7b2b4123d340a7a06c52625c94e2d1c561 Mon Sep 17 00:00:00 2001
From: grandeljay <github.jay@grandel.anonaddy.me>
Date: Sat, 19 Nov 2022 20:44:23 +0100
Subject: [PATCH] Redirect to home if there is no maintenance needed

---
 src/pages/maintenance.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/pages/maintenance.php b/src/pages/maintenance.php
index a25fa874..bc3ebbba 100644
--- a/src/pages/maintenance.php
+++ b/src/pages/maintenance.php
@@ -8,6 +8,10 @@
 
 namespace wishthis;
 
+if ($options && $options->getOption('version') === VERSION) {
+    redirect(Page::PAGE_HOME);
+}
+
 $page = new Page(__FILE__, __('Maintenance'));
 $page->header();
 $page->bodyStart();