Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
(Replaced content with '→Any JavaScript here will be loaded for all users on every page load.: ') |
(latest RTRC code) |
||
| (7 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
/* Any JavaScript here will be loaded for all users on every page load. */ | /* Any JavaScript here will be loaded for all users on every page load. */ | ||
| + | |||
| + | function includePage( name ) | ||
| + | { | ||
| + | mw.loader.load('wgScript' + '?title=' | ||
| + | + name | ||
| + | + '&action=raw&ctype=text/javascript' | ||
| + | ); | ||
| + | } | ||
| + | /* 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?modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'en'))); | ||
Latest revision as of 20:38, 7 January 2020
/* Any JavaScript here will be loaded for all users on every page load. */
function includePage( name )
{
mw.loader.load('wgScript' + '?title='
+ name
+ '&action=raw&ctype=text/javascript'
);
}
/* 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?modules=ext.gadget.rtrc&lang=' + mw.config.get('wgUserLanguage', 'en')));
