Différences entre les versions de « MediaWiki:Common.js »
De Entre Amis
(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… ») |
|||
| 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 8 : | Ligne 9 : | ||
); | ); | ||
} | } | ||
| + | */ | ||
/* End of includePage */ | /* End of includePage */ | ||
| + | |||
/* Including extra .js pages */ | /* Including extra .js pages */ | ||
// 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:15
/* 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' );