MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
Timm Stolten (talk | contribs) (add. Edittools section) |
Timm Stolten (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
/* | /* Das folgende JavaScript wird für alle Benutzer geladen. */ | ||
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; | |||
// Dropdown-Menü für die [[MediaWiki:Edittools]] | |||
includePage( 'MediaWiki:Edittools.js' ); | |||
Revision as of 18:59, 28 June 2015
/* Das folgende JavaScript wird für alle Benutzer geladen. */ 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; // Dropdown-Menü für die [[MediaWiki:Edittools]] includePage( 'MediaWiki:Edittools.js' );