wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Go to next field when TAB key is pressed (v 3.3.0.24)

Browse source 
Bug: T118180
Change-Id: Ifb511deca99a52c8080d0512d137e7cbca2122f5
This commit is contained in:
Pavel Astakhov 2015-11-18 14:41:04 +06:00
parent 07c39727c5
commit 93e8b4a4a9
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CodeMirror.php
View file

@ -15,7 +15,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
die( 'This file is an extension to MediaWiki and thus not a valid entry point.' );
}
const EXT_CODEMIRROR_VERSION = '3.2.3.24';
const EXT_CODEMIRROR_VERSION = '3.3.0.24';
// Register this extension on Special:Version
$wgExtensionCredits['parserhook'][] = array(

5
resources/ext.CodeMirror.js
View file

@ -335,7 +335,10 @@
lineWrapping: true,
readOnly: textbox1[0].readOnly,
// select mediawiki as text input mode
mode: 'text/mediawiki'
mode: 'text/mediawiki',
extraKeys: {
Tab: false
}
} );
// Our best friend, IE, needs some special css
if ( window.navigator.userAgent.indexOf('Trident/') > -1 ) {