From bca53ad1bfa89b31f2732e368e657eb6d5f7c9a1 Mon Sep 17 00:00:00 2001 From: Alexis Date: Fri, 8 Nov 2019 14:16:38 +1100 Subject: [PATCH] Advise users that the wiki is deprecated. --- LocalSettings.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/LocalSettings.php b/LocalSettings.php index a46399a6..f96a63e0 100644 --- a/LocalSettings.php +++ b/LocalSettings.php @@ -146,3 +146,6 @@ # bootstrap theme settings $wgSiteCSS = 'custom.css'; $wgTOCLocation = 'sidebar'; + +# Advise wiki users that the site is deprecated. +$wgSiteNotice = "THIS WIKI IS DEPRECATED. It is no longer being maintained. Please visit https://docs.voidlinux.org/ for the official documentation. If you can't find the information you're seeking, please raise an issue at https://github.com/void-linux/void-docs/issues";