From bb21686a841944050cfd6e5566ff72fd4f129072 Mon Sep 17 00:00:00 2001
From: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
Date: Sat, 3 Oct 2015 10:26:25 +0100
Subject: [PATCH] Add (untested) redirect page backend

---
 modules/feature-redirect.php | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/modules/feature-redirect.php b/modules/feature-redirect.php
index 6eff33c..f1c5dda 100644
--- a/modules/feature-redirect.php
+++ b/modules/feature-redirect.php
@@ -1,4 +1,30 @@
 <?php
-
+register_module([
+	"name" => "Redirect pages",
+	"version" => "0.1",
+	"author" => "Starbeamrainbowlabs",
+	"description" => "Adds support for redirect pages. Uses the same syntax that Mediawiki does.",
+	"id" => "feature-redirect",
+	"code" => function() {
+		register_save_preprocessor(function(&index_entry, &$pagedata) {
+			$matches = [];
+			if(preg_match("/^# ?REDIRECT ?\[\[([^\]]+)\]\]/i", $pagedata) === 1)
+			{
+				// We have found a redirect page!
+				// Update the metadata to reflect this.
+				$index_entry->redirect = true;
+				$index_entry->redirect_target = $matches[1];
+			}
+			else
+			{
+				// This page isn't a redirect. Unset the metadata just in case.
+				if(isseet($index_entry->redirect))
+					unset($index_entry->redirect);
+				if(isseet($index_entry->redirect_target))
+					unset($index_entry->redirect_target);
+			}
+		});
+	}
+]);
 
 ?>