Use latest version of Pygments

StarCitizenTools · Mar 11, 2024 · 3d45590 · 3d45590
1 parent 77d4c39
commit 3d45590
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/config/LocalSettings.php b/config/LocalSettings.php
@@ -513,6 +513,9 @@
 $wgScribuntoEngineConf['luasandbox']['memoryLimit'] = 50 * 1024 * 1024; # 50 MB
 $wgScribuntoEngineConf['luasandbox']['cpuLimit'] = 10; # Seconds
 
+# SyntaxHighlight
+$wgPygmentizePath = '/usr/local/bin/pygmentize';
+
 # TemplateStyles
 $wgTemplateStylesAllowedUrls = [
   "audio" => [