diff --git a/hosts/vm/mediakiwi/mediawiki.nix b/hosts/vm/mediakiwi/mediawiki.nix index 5883372..fcdc3c4 100644 --- a/hosts/vm/mediakiwi/mediawiki.nix +++ b/hosts/vm/mediakiwi/mediawiki.nix @@ -219,7 +219,8 @@ in $wgPdfInfo = '${pkgs.poppler-utils}/bin/pdfinfo'; $wgPdftoText = '${pkgs.poppler-utils}/bin/pdftotext'; $wgScribuntoDefaultEngine = 'luasandbox'; - + # 4 pour les catégories, 3 pour le reste https://www.mediawiki.org/wiki/Extension:CategoryTree + $wgCategoryTreeMaxDepth = [10 => 3, 20 => 3, 0 => 4, 100 => 3]; # SyntaxHighlight extension $wgPygmentizePath = '${pkgs.python3Packages.pygments}/bin/pygmentize';