mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-11-14 10:04:58 +00:00
987187935c
This avoids having an extension function, which runs on every request, regardless of whether it uses syntax highlighting or not. Change-Id: I890348b73af956819300cce64d0672dcdb209c19 |
||
---|---|---|
.. | ||
updateCSS.php | ||
updateLexerList.php |