wiki: set default theme

2023-08-23 15:26:58 +02:00 · 2023-08-23 15:26:58 +02:00 · af6119a0ec
parent edac0c3eba
commit af6119a0ec
1 changed files with 1 additions and 0 deletions
--- 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 ?