wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-23 22:13:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Syntax.../modules
History
jenkins-bot e3cfcbd571 Merge "Allow line ranges to be selected using shift+click"
2024-03-11 19:14:46 +00:00
..
ve-syntaxhighlight Merge "Allow line ranges to be selected using shift+click" 2024-03-11 19:14:46 +00:00
.eslintrc.json Allow line ranges to be selected using shift+click 2024-03-06 22:30:51 +00:00
pygments.generated.css Update Pygments to 2.16.1 2023-08-15 04:03:17 +00:00
pygments.linenumbers.js Allow line ranges to be selected using shift+click 2024-03-06 22:30:51 +00:00
pygments.wrapper.less stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 01:00:39 +02:00