MediaWiki:Gadget-Less.js
Revision as of 18:34, 27 July 2020 by Part Time Hero (talk | contribs) (Created page with "window.lessOpts = window.lessOpts || []; window.lessOpts.push( { target: 'MediaWiki:Common.css', source: 'MediaWiki:Common.less', load: [ 'MediaWiki:Commo...")
Note: After saving, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
window.lessOpts = window.lessOpts || [];
window.lessOpts.push( {
target: 'MediaWiki:Common.css',
source: 'MediaWiki:Common.less',
load: [
'MediaWiki:Common.css',
'MediaWiki:Common.less'
],
header: 'MediaWiki:Css-header/common'
},
{
target: 'MediaWiki:Vector.css',
source: 'MediaWiki:Vector.less',
load: [
'MediaWiki:Vector.css',
'MediaWiki:Vector.less'
],
header: 'MediaWiki:Css-header/vector'
},
{
target: 'MediaWiki:Mobile.css',
source: 'MediaWiki:Mobile.less',
load: [
'MediaWiki:Mobile.css',
'MediaWiki:Mobile.less'
],
header: 'MediaWiki:Css-header/mobile'
} );
mw.loader.load( 'ext.gadget.Less-core' );