From 5703d93f353dfc6772ccd0f44df2630614957ab6 Mon Sep 17 00:00:00 2001
From: Adam Goldsmith <adam@adamgoldsmith.name>
Date: Thu, 12 Nov 2020 15:18:00 -0500
Subject: [PATCH] Add stl to allowed file upload types

---
 LocalSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LocalSettings.php b/LocalSettings.php
index fe4cd08..406442d 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -79,7 +79,7 @@ $wgMemCachedServers = [];
 ## To enable image uploads, make sure the 'images' directory
 ## is writable, then set this to true:
 $wgEnableUploads = true;
-$wgFileExtensions = array_merge( $wgFileExtensions, array( 'pdf', 'svg' ));
+$wgFileExtensions = array_merge( $wgFileExtensions, array( 'pdf', 'svg', 'stl' ));
 $wgUseImageMagick = true;
 $wgImageMagickConvertCommand = "/usr/bin/convert";
 $wgGenerateThumbnailOnParse = true;