MediaWiki:Gadget-extra-toolbar-buttons-core.js: Difference between revisions
Content deleted Content added
updating module dependencies: mediawiki.action.edit → mediawiki.toolbar (gerrit:181030) |
Writ Keeper (talk | contribs) fix |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 104:
mw.loader.using( 'user.options', function () {
// This can be the string "0" if the user disabled the preference ([[bugzilla:52542#c3]])
if ( mw.user.options.get( 'usebetatoolbar' ) != 1 && mw.user.options.get( '
▲ ).then( addExtraButtons );
}
} );
|