|
|
Zeile 1: |
Zeile 1: |
| /* 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");
| |