aboutsummaryrefslogtreecommitdiff
path: root/ansible/roles/mw-backend/templates
diff options
context:
space:
mode:
Diffstat (limited to 'ansible/roles/mw-backend/templates')
-rw-r--r--ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j27
1 files changed, 4 insertions, 3 deletions
diff --git a/ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j2 b/ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j2
index d494693..9def832 100644
--- a/ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j2
+++ b/ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j2
@@ -71,6 +71,7 @@ $wgMemCachedServers = [];
$wgEnableUploads = true;
#$wgUseImageMagick = true;
#$wgImageMagickConvertCommand = "/usr/bin/convert";
+$wgFileExtensions[] = 'pdf';
# InstantCommons allows wiki to use images from https://commons.wikimedia.org
$wgUseInstantCommons = true;
@@ -146,12 +147,12 @@ if ( is_file( "/etc/mediawiki-extensions/extensions.php" ) ) {
}
# Add a "powered by Debian" footer icon
$wgFooterIcons['poweredby']['debian'] = [
- "src" => "/resources/assets/debian/poweredby_debian_1x.png",
+ "src" => "/w/resources/assets/debian/poweredby_debian_1x.png",
"url" => "https://www.debian.org/",
"alt" => "Powered by Debian",
"srcset" =>
- "/resources/assets/debian/poweredby_debian_1_5x.png 1.5x, " .
- "/resources/assets/debian/poweredby_debian_2x.png 2x",
+ "/w/resources/assets/debian/poweredby_debian_1_5x.png 1.5x, " .
+ "/w/resources/assets/debian/poweredby_debian_2x.png 2x",
];
# End Debian specific generated settings
# Add more configuration options below.