Extension:SyntaxHighlightThemes

MediaWiki extensions manual
SyntaxHighlightThemes
Release status: stable
Implementation User interface
Description Allows users to choose between various syntax highlighting themes
Author(s) Nathan Kuenzig (kuenzigntalk)
Latest version 1.0.0
Compatibility policy Master maintains backward compatibility.
MediaWiki 1.35+
Database changes No
License MIT License
Download
README on GitHub

The SyntaxHighlightThemes extension allows users to choose between various syntax highlighting themes when using the SyntaxHighlight extension.

Usage edit

Once installed, users can change their syntax highlighting theme in their preferences under Appearance. All styles provided by Pygments are supported.

Installation edit

  • Download and move the extracted SyntaxHighlightThemes folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlightThemes
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'SyntaxHighlightThemes' );
    
  • Configure as required.
  •   Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

Configuration edit

$wgDefaultUserOptions['syntaxhighlight-theme']
The default theme used is the default style from Pygments. Use this option to change the default theme for your wiki
($wgDefaultUserOptions['syntaxhighlight-theme'] = 'monokai'; for example)

See also edit