wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/mode/mediawiki
History
jenkins-bot cbec99c8c4 Merge "Add tags from CodeMirrorPluginModules to extension tags list"
2022-10-05 14:27:22 +00:00
..
tests/qunit Merge "Fix inconsistent parsing of quoted tag attributes" 2022-06-17 12:13:03 +00:00
colorblind-colors.less Convert MediaWiki style sheet to LESS code 2022-06-14 15:59:33 +00:00
mediawiki.js Merge "Add tags from CodeMirrorPluginModules to extension tags list" 2022-10-05 14:27:22 +00:00
mediawiki.less Merge "Merge some more identical MediaWiki color scheme styles" 2022-06-20 12:00:21 +00:00