jenkins-bot 21d4ae4042 Merge "Design fixes for Codemirror"		2017-07-07 18:13:07 +00:00
..
images	Fixing SVG images for buttons	2017-07-06 08:10:10 +00:00
lib/codemirror	Update CodeMirror to 5.25.0	2017-03-21 15:05:52 +00:00
mode/mediawiki	Design fixes for Codemirror	2017-07-06 15:03:09 -07:00
modules	Show a popup for first time Codemirror users	2017-06-29 00:20:14 +00:00
ext.CodeMirror.js	Make sure popup appears for both classic and wikitext editors	2017-07-04 00:15:56 +00:00
ext.CodeMirror.less	Replace CodeMirror icons with new icons (#36C)	2017-05-14 23:44:17 +06:00
ext.CodeMirror.loader.js	Refactor the Integration with other extensions (v 4.0.0)	2017-05-04 21:20:21 +01:00