19,809
edits
MediaWiki:Common.js/edit.js: Difference between revisions
m
oops
(it should already be loaded, so let's try this) |
m (oops) |
||
| Line 127: | Line 127: | ||
} | } | ||
mw.loader.using('user.options' | mw.loader.using('user.options', function () { | ||
if ( mw.user.options.get('usebetatoolbar') ) { | if ( mw.user.options.get('usebetatoolbar') ) { | ||
// Use the enhanced edit toolbar | // Use the enhanced edit toolbar | ||
mw.loader.using('ext.wikiEditor.toolbar' | mw.loader.using('ext.wikiEditor.toolbar', function () { | ||
$(function(){ | $(function(){ | ||
// Build the new buttons | // Build the new buttons | ||
| Line 204: | Line 204: | ||
//eraseButtons(); | //eraseButtons(); | ||
} | } | ||
else { | |||
alert("mw.toolbar was not loaded in time for the custom editing toolbar."); | |||
} | |||
} | } | ||
} ); | } ); | ||