wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-07 10:14:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/mode/mediawiki
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
..
mediawiki.css fix highlighting text that starts with space (v 1.7.4) 2014-08-28 12:38:31 +06:00
mediawiki.js make compatible with toolbox (v 2.0.0) 2014-09-05 15:44:51 +06:00