MediaWiki:Gadget-Less.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary Tag: Manual revert |
No edit summary |
||
| Line 12: | Line 12: | ||
if ( window.lessTargets.includes( mw.config.get( 'wgPageName' ).replace(new RegExp('\.less$'),'.css' ) ) ) { | if ( window.lessTargets.includes( mw.config.get( 'wgPageName' ).replace(new RegExp('\.less$'),'.css' ) ) ) { | ||
mw.loader.load( '// | mw.loader.load( '//near-reality.wik/w/MediaWiki:Gadget-Less-core.js?action=raw&ctype=text/javascript' ) | ||
} | } | ||
Revision as of 21:41, 4 October 2022
1 window.lessTargets = [
2 // globals
3 'MediaWiki:Common.css',
4 'MediaWiki:Kartographer.css',
5 'MediaWiki:Minerva.css',
6 'MediaWiki:Test.css',
7 'MediaWiki:Vector.css',
8 'MediaWiki:Vector-darkmode.css',
9 // gadgets
10 'MediaWiki:Gadget-toplinksDropdown.css',
11 ]
12
13 if ( window.lessTargets.includes( mw.config.get( 'wgPageName' ).replace(new RegExp('\.less$'),'.css' ) ) ) {
14 mw.loader.load( '//near-reality.wik/w/MediaWiki:Gadget-Less-core.js?action=raw&ctype=text/javascript' )
15 }