Extension:SyntaxHighlightThemes
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 | GitHub: README on GitHub |
The SyntaxHighlightThemes extension allows users to choose between various syntax highlighting themes when using the SyntaxHighlight extension.
Usage
editOnce 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 yourextensions/
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)