Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
m (new rtrc code) |
(disable rtrc code) |
||
Line 18: | Line 18: | ||
includePage( 'MediaWiki:Edittools.js' ); | includePage( 'MediaWiki:Edittools.js' ); | ||
− | + | /* | |
// [[File:Krinkle_RTRC.js]] | // [[File:Krinkle_RTRC.js]] | ||
(mw.loader.getState('ext.gadget.rtrc') ? mw.loader.load('ext.gadget.rtrc') : mw.loader.load('https://www.mediawiki.org/w/load.php?debug=false&modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'en'))); | (mw.loader.getState('ext.gadget.rtrc') ? mw.loader.load('ext.gadget.rtrc') : mw.loader.load('https://www.mediawiki.org/w/load.php?debug=false&modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'en'))); | ||
+ | */ |
Revision as of 11:31, 30 December 2018
/* Any JavaScript here will be loaded for all users on every page load. */ function includePage( name ) { document.write('<script type="text/javascript" src="' + wgScript + '?title=' + name + '&action=raw&ctype=text/javascript"><\/script>' ); } /* End of includePage */ /* Including extra .js pages */ // switches for scripts // var load_extratabs = true; var load_edittools = true; // extra drop down menu on editing for adding special characters includePage( 'MediaWiki:Edittools.js' ); /* // [[File:Krinkle_RTRC.js]] (mw.loader.getState('ext.gadget.rtrc') ? mw.loader.load('ext.gadget.rtrc') : mw.loader.load('https://www.mediawiki.org/w/load.php?debug=false&modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'en'))); */