From f016a6d3bbfabbeef05c27878a3a13676ff8e2fe Mon Sep 17 00:00:00 2001 From: www-data Date: Thu, 20 Feb 2025 00:19:00 +0100 Subject: [PATCH] Use wgLogos instead of wgLogo --- LocalSettings.php | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/LocalSettings.php b/LocalSettings.php index 6436dee728e..0378db92bde 100644 --- a/LocalSettings.php +++ b/LocalSettings.php @@ -22,7 +22,11 @@ $_SERVER['SERVER_PORT'] = 443; $wgSitename = "Technologia Incognita"; $wgMetaNamespace = "Technologia_Incognita"; $wgServer = "https://wiki.techinc.nl"; -$wgLogo = "https://wiki.techinc.nl/images/c/cd/Techinc_logo.png"; +#$wgLogo = "https://wiki.techinc.nl/images/c/cd/Techinc_logo.png"; +$wgLogos = [ + 'svg' => "https://wiki.techinc.nl/images/6/6a/TechInc-logo-no-text.svg", // path to svg version + 'icon' => "https://wiki.techinc.nl/images/6/6a/TechInc-logo-no-text.svg", // path to svg version +]; $wgLocaltimezone = "Europe/Amsterdam"; ## Database settings