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

De Entre Amis
Aller à : navigation, rechercher
(Page créée avec « →‎Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. : function includePage( name ) { document.write('<script type="text/javasc… »)
 
 
(3 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
 
/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
 
/* 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' );
 

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. */