MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 17. April 2017, 14:12 Uhr

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

@@ Zeile 1: / Zeile 1: @@
 /* Das folgende JavaScript wird für alle Benutzer geladen. */
-var customizeToolbar = function () {
-	$( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
-		'sections': {
-			'greenhook': {
-				'type': 'toolbar', // Can also be 'booklet'
-				'label': 'Formatierungen'
-				// or 'labelMsg': 'section-emoticons-label' for a localized label
-			}
-		}
-	} );
-};
-/* 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.toolbar' ), $.ready
-).then( customizeToolbar );
-}
-} );
-}