Difference between revisions of "MediaWiki:Gadget-Less.js"
Jump to navigation
Jump to search
(Created page with "window.lessOpts = window.lessOpts || []; window.lessOpts.push( { target: 'MediaWiki:Common.css', source: 'MediaWiki:Common.less', load: [ 'MediaWiki:Commo...") |
(No difference)
|
Revision as of 10:07, 20 December 2018
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' );