MediaWiki extensions manual

SyntaxHighlightThemes Release status: stableCategory:Stable extensions
Implementation	User interfaceCategory:User interface extensions
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.Category:Extensions with master compatibility policy
MediaWiki	1.35+Category:Extensions with manual MediaWiki version
Database changes	No
License	MIT License
Download	GitHub: project page git repository URL [help ] commit history Category:Extensions in GitHub version control README on GitHub
Hooks used ResourceLoaderRegisterModules Category:ResourceLoaderRegisterModules extensions GetPreferences Category:GetPreferences extensions BeforePageDisplay Category:BeforePageDisplay extensions

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

Usage

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

Installation

• 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

$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

• SyntaxHighlight Extension