Différences entre les versions de « MediaWiki:Common.js »

@@ Ligne 1 : / Ligne 1 : @@
-/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
-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' );

Menu de navigation