MediaWiki: Difference between revisions

MediaWiki (view source)

149 bytes added , 31 July 2023

Anonymous user

@@ Line 26: / Line 26: @@
    extensions = {
-     VisualEditor = pkgs.fetchzip {
+    # some extensions are included and can enabled by passing null
-       url = "https://extdist.wmflabs.org/dist/extensions/VisualEditor-REL1_37-3aeea63.tar.gz";
+     VisualEditor = null;
-       sha256 = "sha256:0y7yysnm64vclyj0nh18ibsbrwsycdi7f8mf8j1b991qggqnclys";
+    # https://www.mediawiki.org/wiki/Extension:TemplateStyles
+    TemplateStyles = pkgs.fetchzip {
+       url = "https://extdist.wmflabs.org/dist/extensions/TemplateStyles-REL1_40-c639c7a.tar.gz";
+       hash = "sha256-YBL0Cs4hDSNnoutNJSJBdLsv9zFWVkzo7m5osph8QiY=";
      };
    };