MediaWiki:Common.js: Unterschied zwischen den Versionen

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

Aktuelle Version vom 3. März 2016, 03:29 Uhr