MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 22. März 2009, 17:23 Uhr

/* Jedes JavaScript hier wird für alle Benutzer für jede Seite 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
// TODO: migrate to JSConfig
// var load_extratabs = true;
var load_edittools = true;


if (document.URL.indexOf("action=edit") > 0 || document.URL.indexOf("action=submit") > 0) {
    includePage("MediaWiki:Edittools.js");
}