wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-12-11 05:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Syntax.../modules
History
Eddie Greiner-Petter 3abd668325 Add new (unprefixed) CSS modifier user-select 
The CSS already has this modifier prefixed with -webkit-, -ms- and
-moz-, some browsers now support this without any prefix (according to
caniuse.com: Chrome 54+, Opera 41+).

Change-Id: Icd67250c26bec61be0fb101f1db077ee13ccf6b7
2017-11-07 19:36:32 +01:00
..
ve-syntaxhighlight ce.MWSyntaxHighlightNode: Always generate node contents 2017-07-17 11:37:05 -05:00
pygments.generated.css Update pygments to 2.2 2017-04-27 15:10:16 +02:00
pygments.wrapper.css Add new (unprefixed) CSS modifier user-select 2017-11-07 19:36:32 +01:00