wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 02:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Expose Pygments version on Special:Version

Browse source 
Change-Id: Ia4eccc4f16873b16e106c8196d7582ca5b27b365
This commit is contained in:
Kunal Mehta 2021-09-02 19:35:45 -07:00
parent af6654e5f9
commit b8a5dd08ee
2 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -101,7 +101,8 @@
],
"ApiFormatHighlight": [
"SyntaxHighlight::onApiFormatHighlight"
]
],
"SoftwareInfo": "SyntaxHighlight::onSoftwareInfo"
},
"attributes": {
"SyntaxHighlight": {

14
includes/SyntaxHighlight.php
View file

@ -558,4 +558,18 @@ class SyntaxHighlight {
// Inform MediaWiki that we have parsed this page and it shouldn't mess with it.
return false;
}
/**
* Hook to add Pygments version to Special:Version
*
* @see https://www.mediawiki.org/wiki/Manual:Hooks/SoftwareInfo
* @param array &$software
*/
public static function onSoftwareInfo( array &$software ) {
try {
$software['[https://pygments.org/ Pygments]'] = Pygmentize::getVersion();
} catch ( PygmentsException $e ) {
// pass
}
}
}