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