MediaWiki:Common.js: Unterschied zwischen den Versionen
KKeine Bearbeitungszusammenfassung |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
function includePage( name ) | function includePage( name ) | ||
{ | { | ||
document.write('<script type="text/javascript" src="' + wgScript + ' | document.write('<script type="text/javascript" src="' + wgScript + '?title=' | ||
+ name | + name | ||
+ '&action=raw&ctype=text/javascript"><\/script>' | + '&action=raw&ctype=text/javascript"><\/script>' | ||
Version vom 22. März 2009, 18:06 Uhr
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;
// extra drop down menu on editing for adding special characters
includePage( 'MediaWiki:Edittools.js' );