MediaWiki:Common.js:修订间差异
无编辑摘要 |
无编辑摘要 |
||
第15行: | 第15行: | ||
type: 'encapsulate', | type: 'encapsulate', | ||
options: { | options: { | ||
pre: "<syntaxhighlight lang=\"java\">", | pre: "<syntaxhighlight lang=\"java\">\n", | ||
post: "</syntaxhighlight>" | post: "\n</syntaxhighlight>" | ||
} | } | ||
} | } |
2021年4月28日 (三) 09:52的版本
/* see:
https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization
*/
var customizeToolbar = function () {
$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
'section': 'advanced',
'group': 'insert',
'tools': {
'smile': {
label: 'Code', // or use labelMsg for a localized label, see above
type: 'button',
icon: '//riguz.com/images/0/09/WikiEditor-Code.png',
action: {
type: 'encapsulate',
options: {
pre: "<syntaxhighlight lang=\"java\">\n",
post: "\n</syntaxhighlight>"
}
}
}
}
});
};
/* Check if view is in edit mode and that the required modules are available. Then, customize the toolbar … */
if ( [ 'edit', 'submit' ].indexOf( mw.config.get( 'wgAction' ) ) !== -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 );
}
} );
}