wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-23 19:12:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/mode/mediawiki
History
Thiemo Kreuz 7404a9f2a0 Minor optimizations to some patterns in mediawiki mode 
Note that this .match() method is not the one you think it is.
This is StringStream.match() from the CodeMirror lib, not ES
String.match().

Change-Id: Ief5048ff78bcd035482e7a68044e24592d28cb6c
2022-08-04 10:36:52 +02: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 Minor optimizations to some patterns in mediawiki mode 2022-08-04 10:36:52 +02:00
mediawiki.less Merge "Merge some more identical MediaWiki color scheme styles" 2022-06-20 12:00:21 +00:00