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

De Entre Amis
Aller à : navigation, rechercher
m
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 )
 
function includePage( name )
 
{
 
{
Ligne 9 : Ligne 8 :
 
  );
 
  );
 
}
 
}
*/
 
 
/* End of includePage */
 
/* End of includePage */
  
Ligne 16 : Ligne 14 :
 
// switches for scripts
 
// switches for scripts
 
// var load_extratabs = true;
 
// var load_extratabs = true;
// var load_edittools = true;
+
var load_edittools = true;
 
   
 
   
 
// extra drop down menu on editing for adding special characters
 
// extra drop down menu on editing for adding special characters
// includePage( 'MediaWiki:Edittools.js' );
+
includePage( 'MediaWiki:Edittools.js' );

Version du 8 septembre 2015 à 15:51

/* 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' );