19,809
edits
MediaWiki:Common.js/edit.js: Difference between revisions
do we need to use mw.loader.using()?
(I've read that this function is a hack, and it also uses the deprecated mwCustomEditButtons, so let's remove it) |
(do we need to use mw.loader.using()?) |
||
| Line 175: | Line 175: | ||
} ); | } ); | ||
} else { | } else { | ||
mw.loader.using( 'mw.toolbar', function () { | |||
// Use the old edit toolbar | // Use the old edit toolbar | ||
// Add the MediaWiki standard buttons into the available buttons | // Add the MediaWiki standard buttons into the available buttons | ||
| Line 201: | Line 202: | ||
// Remove the default buttons (if requested by the user) | // Remove the default buttons (if requested by the user) | ||
//eraseButtons(); | //eraseButtons(); | ||
} | |||
} | } | ||
} ); | } ); | ||