mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-30 17:04:14 +00:00
12 lines
346 B
JavaScript
12 lines
346 B
JavaScript
( function ( ve, mw ) {
|
|
mw.libs.ve.targetLoader.addPlugin( function () {
|
|
var index,
|
|
target = ve.init.mw.DesktopArticleTarget;
|
|
|
|
if ( target ) {
|
|
index = target.static.actionGroups[ 1 ].include.indexOf( 'changeDirectionality' );
|
|
target.static.actionGroups[ 1 ].include.splice( index, 0, 'codeMirror' );
|
|
}
|
|
} );
|
|
}( ve, mediaWiki ) );
|