Extension:SyntaxHighlightThemes
Appearance
This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. |
Release status: unmaintained |
|
|---|---|
| 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
[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
SyntaxHighlightThemesfolder 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
defaultstyle from Pygments. Use this option to change the default theme for your wiki - (
$wgDefaultUserOptions['syntaxhighlight-theme'] = 'monokai';for example)
