From 2dbe81cb36be6381f54d4b14f37f74fd72b9074c Mon Sep 17 00:00:00 2001
From: Hereward Cooper <coops@fawk.eu>
Date: Tue, 10 Mar 2026 19:01:43 -0700
Subject: [PATCH] userlink

---
 webserver/html/ropewiki/LocalSettings.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/webserver/html/ropewiki/LocalSettings.php b/webserver/html/ropewiki/LocalSettings.php
index ded9700..a7da8ff 100644
--- a/webserver/html/ropewiki/LocalSettings.php
+++ b/webserver/html/ropewiki/LocalSettings.php
@@ -360,3 +360,12 @@
     $wgMimeTypeExclusions,
     [ 'application/xml', 'text/xml' ]
 );
+
+// Make links to User pages always appear as existing, even if not created yet.
+// MediaWiki:Hf-nsheader-User provides a user overview regardless if the page has been created.
+$wgHooks['TitleIsAlwaysKnown'][] = function ( $title, &$isKnown ) {
+	if ( $title->getNamespace() === NS_USER ) {
+		$isKnown = true;
+	}
+	return true;
+};