wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-13 17:27:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add comment to make usage of jquery.ui module discoverable

Browse source 
Change-Id: I79a54686024b22e2851bd396bb51101ca84626fa
This commit is contained in:
Derk-Jan Hartman 2020-02-25 21:27:56 +01:00 committed by Krinkle
parent b17c8b7557
commit 006d4ba9d8
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
resources/ext.CodeMirror.js
View file

@ -143,6 +143,7 @@
// CodeMirror. We unregister this when switching to normal textarea mode.
$textbox1.textSelection( 'register', cmTextSelection );
// RL module jquery.ui
$codeMirror.resizable( {
handles: 'se',
resize: function ( event, ui ) {