MediaWiki:Gadget-extra-toolbar-buttons-core.js: Difference between revisions
Content deleted Content added
m Mr. Stradivarius moved page MediaWiki:Common.js/edit.js to MediaWiki:Gadget-extra-toolbar-buttons-core.js without leaving a redirect: turn this into a ResourceLoader module per [[Special:PermaLink/735726304#Convert watchlist notices into a Reso... |
Writ Keeper (talk | contribs) fix |
||
(2 intermediate revisions by 2 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 );
}
} );
|