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