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;
-// extra drop down menu on editing for adding special characters
-includePage( 'MediaWiki:Edittools.js' );

Version vom 17. Dezember 2017, 13:42 Uhr