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"); | ||