MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 24. November 2019, 14:23 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */

var customizeToolbar = function () {

// 
$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
	section: 'advanced',
	group: 'format',
	tools: {
		"comment": {
			label: 'Hochkommas',
			type: 'button',
			icon: '//www.birresdorf.de/w/images/5/54/Hochkomma.png',
			action: {
				type: 'encapsulate',
				options: {
					pre: "„",
					post: "“"
				}
			}
		}
	}
} );



};

/* 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 );
		}
	} );
}