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
Ed Sanders cd421a4b1d build: Update eslint-config-wikimedia to 0.28.0 
Change-Id: Ia565bd4d314b7b512a46c4bb2af74784d5c2edc1
2024-06-06 16:33:02 +01:00
..
ve-syntaxhighlight build: Update eslint-config-wikimedia to 0.28.0 2024-06-06 16:33:02 +01:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.28.0 2024-06-06 16:33:02 +01: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 SyntaxHighlight: Add color to override skin 2024-05-25 23:32:36 +00:00