Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
m (add rtrc code) |
m (new rtrc code) |
||
| Line 17: | Line 17: | ||
// extra drop down menu on editing for adding special characters | // extra drop down menu on editing for adding special characters | ||
includePage( 'MediaWiki:Edittools.js' ); | includePage( 'MediaWiki:Edittools.js' ); | ||
| + | |||
// [[File:Krinkle_RTRC.js]] | // [[File:Krinkle_RTRC.js]] | ||
| − | mw.loader.load('// | + | (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 14:20, 29 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')));
