MediaWiki:Common.js: Unterschied zwischen den Versionen
KKeine Bearbeitungszusammenfassung |
K Whitespace entfernt. |
||
| Zeile 6: | Zeile 6: | ||
); | ); | ||
} | } | ||
/* Including extra .js pages */ | |||
/* Including extra .js pages */ | |||
// switches for scripts | // switches for scripts | ||
// TODO: migrate to JSConfig | // TODO: migrate to JSConfig | ||
// var load_extratabs = true; | // var load_extratabs = true; | ||
var load_edittools = true; | var load_edittools = true; | ||
// extra drop down menu on editing for adding special characters | // extra drop down menu on editing for adding special characters | ||
includePage('MediaWiki:Edittools.js'); | includePage('MediaWiki:Edittools.js'); | ||
Version vom 22. März 2009, 20:35 Uhr
function includePage( name )
{
document.write('<script type="text/javascript" src="' + wgScript + '?title='
+ name
+ '&action=raw&ctype=text/javascript"><\/script>'
);
}
/* 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');