Differenze tra le versioni di "MediaWiki:Gadget-toolbar.js"

fix deprecation warning
(importo da it.Wikipedia)
 
(fix deprecation warning)
// aggiunge i pulsanti alla toolbar
if ( mw.user.options.get( 'usebetatoolbar' ) ) {
mw.loader.using( [ 'ext.wikiEditor.toolbar' ], function () {
// rimozione pulsanti precedenti
if ( !userButtons ) {