MediaWiki:Gadget-Less.js: Difference between revisions
Jump to navigation
Jump to search
(Created page with "window.lessTargets = [ // globals 'MediaWiki:Common.css', 'MediaWiki:Kartographer.css', 'MediaWiki:Minerva.css', 'MediaWiki:Test.css', 'MediaWiki:Vector.css', 'MediaWiki:Vector-darkmode.css', // gadgets 'MediaWiki:Gadget-toplinksDropdown.css', ] if ( window.lessTargets.includes( mw.config.get( 'wgPageName' ).replace(new RegExp('\.less$'),'.css' ) ) ) { mw.loader.load( '//meta.weirdgloop.org/w/MediaWiki:Gadget-Less-core.js?action=raw&...") |
(No difference)
|
Revision as of 17:05, 3 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( '//meta.weirdgloop.org/w/MediaWiki:Gadget-Less-core.js?action=raw&ctype=text/javascript' )
15 }