From b4e4b07554dc8be10f989d78221590ee330aa962 Mon Sep 17 00:00:00 2001
From: Fritz Grimpen <grimpen@uni-bremen.de>
Date: Sat, 9 Nov 2024 21:31:04 +0100
Subject: [PATCH] mediawiki: Deliver favicon.ico

---
 mediawiki/config.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mediawiki/config.json b/mediawiki/config.json
index 0f79bfa..afd9e43 100644
--- a/mediawiki/config.json
+++ b/mediawiki/config.json
@@ -31,7 +31,8 @@
           "/w/resources/lib/*",
           "/w/resources/src/*",
           "/w/extensions/*",
-          "/w/skins/*"
+          "/w/skins/*",
+          "favicon.ico"
         ]
       },
       "action": {