Differenze tra le versioni di "MediaWiki:Common.js"

m
Riga 1: Riga 1:
 +
/* google analytics è caricato in localsettings, tramite estensione headscript */
 +
 
var customizeToolbar = function () {
 
var customizeToolbar = function () {
  

Versione delle 12:05, 5 dic 2019

/* google analytics è caricato in localsettings, tramite estensione headscript */

var customizeToolbar = function () {

};

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