MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
Zeile 17: | Zeile 17: | ||
// Dropdown-Menü für die [[MediaWiki:Edittools]] | // Dropdown-Menü für die [[MediaWiki:Edittools]] | ||
includePage( 'MediaWiki:Edittools.js' ); | includePage( 'MediaWiki:Edittools.js' ); | ||
// Printer options | |||
mw.loader.load("MediaWiki:Gadget-PrintOptions.js&action=raw&ctype=text/javascript"); |
Version vom 30. Juni 2015, 14:47 Uhr
/* Das folgende JavaScript wird für alle Benutzer 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 // var load_extratabs = true; var load_edittools = true; // Dropdown-Menü für die [[MediaWiki:Edittools]] includePage( 'MediaWiki:Edittools.js' ); // Printer options mw.loader.load("MediaWiki:Gadget-PrintOptions.js&action=raw&ctype=text/javascript");