FreedomBox/plinth/modules/mediawiki/data/etc/mediawiki/FreedomBoxStaticSettings.php
Joseph Nuthalapati c773be3c19
mediawiki: Set default logo to mediawiki.png
Signed-off-by: Joseph Nuthalapati <njoseph@riseup.net>
Reviewed-by: Sunil Mohan Adapa <sunil@medhas.org>
2021-02-04 16:47:56 -08:00

47 lines
1.3 KiB
PHP

<?php
/*
This file is shipped by FreedomBox to manage static settings. Newer versions of
this file are shipped by FreedomBox and are expected to override this file
without any user prompts. It should not be modified by the system
administrator. Additional setting modified by FreedomBox at placed in
FreedomBoxSettings.php. No newer version of that file is ever shipped by
FreedomBox.
*/
# 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
$wgEnableUploads = true;
# Public registrations
$wgGroupPermissions['*']['createaccount'] = false;
# Read/write permissions for anonymous users
$wgGroupPermissions['*']['edit'] = false;
$wgGroupPermissions['*']['read'] = true;
# Short urls
$wgArticlePath = "/mediawiki/$1";
$wgUsePathInfo = true;
# Instant Commons
$wgUseInstantCommons = true;
# SVG Enablement
$wgFileExtensions[] = 'svg';
$wgAllowTitlesInSVG = true;
$wgSVGConverter = 'ImageMagick';
# Fix issue with session cache preventing logins, #1736
$wgSessionCacheType = CACHE_DB;
# Use the mobile-friendly skin Timeless by default
$wgDefaultSkin = "timeless";
# Domain Name
$wgServer = "https://freedombox.local";