append pdf to allowed file extensions

MaRDI4NFDI · May 6, 2024 · b60b6b6 · b60b6b6
1 parent 831fb59
commit b60b6b6
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/mediawiki/LocalSettings.d/LocalSettings.override.php b/mediawiki/LocalSettings.d/LocalSettings.override.php
@@ -44,12 +44,15 @@
 
 # Enabling uploads for images.
 $wgEnableUploads = true;
-$wgFileExtensions[] = ['svg', 'pdf'];
+$wgFileExtensions[] = 'svg';
 # Explicitly mentioning the upload-path for image-upload.
 $wgUploadPath = $wgScriptPath . '/images/';
 # Enable SVG converter
 $wgSVGConverter = 'rsvg';
 
+# Enable PDF upload
+$wgFileExtensions[] = 'pdf';
+
 # Extensions required by templates
 wfLoadExtension( 'TemplateStyles' );
 wfLoadExtension( 'JsonConfig' );