diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2018-09-23 01:10:23 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2018-09-23 01:10:23 +0200 |
| commit | 0a6da2506c38681f7138f3787c6f0dd20696ad0d (patch) | |
| tree | eb2546bacb079352adfee14a334a869ce1b714b6 /ansible/roles/mw-backend/templates/etc/mediawiki | |
| parent | 008bd2a99f9ca3012f939c08679f7ba418793c57 (diff) | |
| download | infra-0a6da2506c38681f7138f3787c6f0dd20696ad0d.tar.gz infra-0a6da2506c38681f7138f3787c6f0dd20696ad0d.tar.bz2 infra-0a6da2506c38681f7138f3787c6f0dd20696ad0d.tar.xz infra-0a6da2506c38681f7138f3787c6f0dd20696ad0d.zip | |
o Adding back mw-backend role for mw.yml.
o Adding backup scripts for mediawiki.
o Fixing broken Debian logo.
o Adding .pdf as valid file updload type.
Diffstat (limited to 'ansible/roles/mw-backend/templates/etc/mediawiki')
| -rw-r--r-- | ansible/roles/mw-backend/templates/etc/mediawiki/LocalSettings.php.j2 | 7 |
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. |