MediaWiki:Common.js: Unterschied zwischen den Versionen

Aktuelle Version vom 24. November 2019, 14:45 Uhr

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

var customizeToolbar = function () {
// WikiEditor anpassen:
// https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization
// Fertige Beispiele:
// https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization/Library

//
// Hochkommas einfügen bzw. markierten Text in (typografisch korrekte) Hochkommas setzen
//
$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
	section: 'main',
	group: 'format',
	tools: {
		"quote": {
			label: 'Hochkommas',
			type: 'button',
			icon: '//www.birresdorf.de/w/images/5/54/Hochkomma.png',
			action: {
				type: 'encapsulate',
				options: {
					pre: "„",
					post: "“"
				}
			}
		}
	}
} );



}; // customizeToolbar

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