From af6119a0ec7eb19116bf46623e44574a59a2f262 Mon Sep 17 00:00:00 2001
From: quitte <root@quitte>
Date: Wed, 23 Aug 2023 15:26:58 +0200
Subject: [PATCH] wiki: set default theme

---
 modules/wiki.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/wiki.nix b/modules/wiki.nix
index 51ed908..a30fdd5 100644
--- a/modules/wiki.nix
+++ b/modules/wiki.nix
@@ -55,6 +55,7 @@ in
         $wgAllowUserCss = true;
         $wgUseAjax = true;
         $wgEnableMWSuggest = true;
+	$wgDefaultSkin = 'timeless';
 
         //TODO what about $wgUpgradeKey ?