Ajout de quelques extensions

modules/services/mediawiki.nix

@@ -9,18 +9,7 @@
   services.mediawiki = {
     enable = true;
 
-    httpd.virtualHost = {
-      hostName = "mediakiwi.crans.org";
-      adminAddr = "root@crans.org";
-
-      listen = [
-        {
-          ip = "127.0.0.1";
-          port = 8080;
-          ssl = false;
-        }
-      ];
-    };
+    name = "Wiki Crans";
 
     nginx.hostName = "mediakiwi.crans.org";
 
@@ -29,6 +18,10 @@
     passwordFile = config.age.secrets.mediawiki-admin-passwd.path;
 
     extraConfig = ''
+      # Server Settings
+      $wgFavicon = 'https://www.crans.org/images/favicon.ico';
+      $wgLogo = 'https://www.crans.org/images/crans.svg';
+
       # contact info
       $wgEmergencyContact = 'contact@crans.org';
     
@@ -39,6 +32,9 @@
 
       # Disable anonymous editing
       $wgGroupPermissions['*']['edit'] = false;
+
+      # Extensions
+      $wgWikiEditorRealtimePreview = true;
     '';
 
     skins = {
@@ -51,8 +47,22 @@
     };
 
     extensions = {
-      # activate visual editor
+      # Enables embedded extensions
+      Math = null;
+      MultimediaViewer = null;
+      SyntaxHighlight_GeSHi = null;
       VisualEditor = null;
+      WikiEditor = null;
+
+      # Popups
+      TextExtracts = null;
+      PageImages = null;
+      Popups = pkgs.fetchFromGitHub {
+        owner = "wikimedia";
+        repo = "mediawiki-extensions-Popups";
+        tag = "REL1_38";
+        sha256 = "sha256-iguedL3pih3XnnAMt/kV+PVCu7MRCuKXXI8zGu9tjZw=";
+      };
     };
   };
 }