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; +};