MediaWiki: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
WikiMedia Extensions | WikiMedia Extensions | ||
Pygments | Pygments | ||
clone into extensions/ | clone into <code>extensions/</code> | ||
<syntaxhighlight> | <syntaxhighlight> | ||
Revision as of 02:52, 10 January 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:
vim /volume1/web_packages/mediawiki/LocalSettings.php
Run this line in terminal
php maintenance/update.php --quick