Difference between revisions of "MediaWiki:Common.js"
m |
m |
||
Line 17: | Line 17: | ||
type: 'encapsulate', | type: 'encapsulate', | ||
options: { | options: { | ||
− | pre: "<syntaxhighlight lang=shell-session highlight=\"\" line>" // text to be inserted | + | pre: "<syntaxhighlight lang=shell-session highlight=\"\" line>\n\n</syntaxhighlight>" // text to be inserted |
} | } | ||
} | } |
Latest revision as of 09:15, 13 May 2018
/* Any JavaScript here will be loaded for all users on every page load. */
//alert(mw.config.get( 'wgAction' ));
var customizeToolbar = function () {
//////
$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
'section': 'advanced',
'group': 'insert',
'tools': {
'smile': {
label: 'Smile!', // or use labelMsg for a localized label, see above
type: 'button',
icon: '/images/code.png',
action: {
type: 'encapsulate',
options: {
pre: "<syntaxhighlight lang=shell-session highlight=\"\" line>\n\n</syntaxhighlight>" // text to be inserted
}
}
}
}
} );
////////
};
/* Check if view is in edit mode and that the required modules are available. Then, customize the toolbar … */
if ( $.inArray( mw.config.get( 'wgAction' ), [ 'edit', 'submit' ] ) !== -1 ) {
mw.loader.using( 'user.options' ).then( function () {
// This can be the string "0" if the user disabled the preference ([[phab:T54542#555387]])
if ( mw.user.options.get( 'usebetatoolbar' ) == 1 ) {
$.when(
mw.loader.using( 'ext.wikiEditor' ), $.ready
).then( customizeToolbar );
}
} );
}