wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Pavel Astakhov e789605772 make compatible with toolbox (v 2.0.0) 
replace function $.fn.textSelection from file:
MediaWiki/core/resources/src/jquery/jquery.textSelection.js

Change-Id: Ie22f480968cf5eba1c4e91fbcf7881e6f86ee5ac
2014-09-05 15:44:51 +06:00
..
lib/codemirror add addon active line and set size as textarea (v 1.7.1) 2014-08-27 15:33:10 +06:00
mode/mediawiki make compatible with toolbox (v 2.0.0) 2014-09-05 15:44:51 +06:00
ext.CodeMirror.js make compatible with toolbox (v 2.0.0) 2014-09-05 15:44:51 +06:00