From c773be3c19c1418b401d2ea5b91bc78f758e2dae Mon Sep 17 00:00:00 2001 From: Joseph Nuthalapati Date: Sun, 24 Jan 2021 17:26:22 +0530 Subject: [PATCH] mediawiki: Set default logo to mediawiki.png Signed-off-by: Joseph Nuthalapati Reviewed-by: Sunil Mohan Adapa --- .../mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/plinth/modules/mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php b/plinth/modules/mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php index 53cb45859..5bda4c474 100644 --- a/plinth/modules/mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php +++ b/plinth/modules/mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php @@ -9,6 +9,9 @@ */ # Default logo +# wgLogos takes precedence over wgLogo. +$wgLogos = [ '1x' => "$wgResourceBasePath/resources/assets/mediawiki.png" ]; +# TODO wgLogo can be removed from Debian 11 $wgLogo = "$wgResourceBasePath/resources/assets/mediawiki.png"; # Enable file uploads