19,809
edits
MediaWiki:Common.js/edit.js: Difference between revisions
do we need this extra function()?
(getting here?) |
(do we need this extra function()?) |
||
| Line 175: | Line 175: | ||
} ); | } ); | ||
} else { | } else { | ||
alert("Using classic toolbar."); | |||
mw.loader.using( ['mediawiki.util', 'mw.toolbar']).then(function () { | |||
alert("Collecting standard buttons."); | alert("Collecting standard buttons."); | ||
// Use the old edit toolbar | // Use the old edit toolbar | ||
| Line 206: | Line 205: | ||
// Remove the default buttons (if requested by the user) | // Remove the default buttons (if requested by the user) | ||
//eraseButtons(); | //eraseButtons(); | ||
}); | |||
} | } | ||
} ); | } ); | ||