wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-24 06:13:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
101 commits 278 branches 0 tags 47 MiB
Commit graph

4 commits

Author SHA1 Message Date
Pavel Astakhov 66b518d8dd fix highlighting of external links, multiple apostrophes end link (3.1.14) 
Change-Id: Ibbb4850edc04ed6b184fa59c51e1978d60cd1269
 2015-08-14 13:22:47 +06:00
Pavel Astakhov 491f186e14 fix matching hr ---- (v 3.1.13) 
Change-Id: I7ea6fa891d2c53da4ac9bd62319dad702a11b8d7
 2015-08-14 12:03:41 +06:00
Pavel Astakhov e681dc6ce2 Add setContents to textSelection and JS hook for #wpTextbox1 (v 3.1.12) 
Bug: T108711
Change-Id: I65f25108863339fdcfc55c030a1158c2cd789b91
 2015-08-14 11:49:12 +06:00
Pavel Astakhov c6f14176ca Convert to ExtensionRegistration (v 3.1.11) 
Remove group ext.CodeMirror, too. There is no need to load CodeMirror
in it's own request, it can be loaded with all other modules.

Change-Id: I16958866847b66c523e2edfe841ca20694ec7ccc
 2015-08-11 13:12:51 +06:00