mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-11-28 00:01:10 +00:00
9bdf728fc1
These are for MediaWiki core models, so it seems reasonable to specify them in the PHP source. Change-Id: Iab6f9969d2bf72122b2661e139aa21a3475a92a8 |
||
---|---|---|
.. | ||
ResourceLoaderSyntaxHighlightVisualEditorModule.php | ||
SyntaxHighlight.php | ||
SyntaxHighlightAce.php | ||
SyntaxHighlightGeSHiCompat.php |