MediaWiki: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
WikiMedia Extensions | WikiMedia Extensions | ||
Pygments | Pygments | ||
clone into extensions/ | clone into <code>extensions/</code> | ||
<syntaxhighlight> | <syntaxhighlight> | ||
| Line 17: | Line 17: | ||
<code> | <code> | ||
wfLoadExtension( 'SyntaxHighlight_GeSHi' ); | |||
</code> | </code> | ||
Run this line in terminal | Run this line in terminal | ||
<code> | <code> | ||
php maintenance/update.php --quick | php maintenance/update.php --quick | ||
</code> | </code> | ||
Latest revision as of 18:44, 21 March 2024
WikiMedia Extensions
Pygments
clone into extensions/
cd /volume1/web_packages/mediawiki/extensions
git clone https://github.com/wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi.gitconfigure LocalSettings.php
vim /volume1/web_packages/mediawiki/LocalSettings.php
Add the following line:
wfLoadExtension( 'SyntaxHighlight_GeSHi' );
Run this line in terminal
php maintenance/update.php --quick