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

Version actuelle datée du 5 octobre 2017 à 20:39

/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */

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