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.: ') |
|||
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 ) | ||
+ | { | ||
+ | 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' ); |
Revision as of 15:42, 16 May 2010
/* 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' );