crans
/
nixos
mirror of https://gitlab.crans.org/nounous/nixos
19
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Augmentation max category tree

wiki
Pyjacpp 2026-08-15 17:11:49 +02:00
parent 023bb05b08
commit f4ba82ca6b
No known key found for this signature in database
GPG Key ID: ED479A5A26930939
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
hosts/vm/mediakiwi/mediawiki.nix
View File

@ -219,7 +219,8 @@ in
$wgPdfInfo = '${pkgs.poppler-utils}/bin/pdfinfo'; $wgPdfInfo = '${pkgs.poppler-utils}/bin/pdfinfo';
$wgPdftoText = '${pkgs.poppler-utils}/bin/pdftotext'; $wgPdftoText = '${pkgs.poppler-utils}/bin/pdftotext';
$wgScribuntoDefaultEngine = 'luasandbox'; $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 # SyntaxHighlight extension
$wgPygmentizePath = '${pkgs.python3Packages.pygments}/bin/pygmentize'; $wgPygmentizePath = '${pkgs.python3Packages.pygments}/bin/pygmentize';