MediaWiki:Common.js: Difference between revisions

Revision as of 14:48, 30 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' );

// Printer options
mw.loader.load("MediaWiki:Gadget-PrintOptions.js&action=raw&ctype=text/javascript");