Différences entre les versions de « MediaWiki:Gadget-WikEd.js »
Aller à la navigation
Aller à la recherche
m (1 révision importée) |
(Aucune différence)
|
Version actuelle datée du 19 décembre 2015 à 15:51
// Installe wikEd pour l'édition des pages (pour tous)
// Ne pas afficher la différence pas défaut
var wikEdConfig = {};
wikEdConfig.diffPreset = false;
wikEdConfig.fixPunctFrench = true;
// disable loading for IE, not needed, but might save a few milliseconds
if ( navigator.appName != 'Microsoft Internet Explorer' ) {
// install [[:en:User:Cacycle/wikEd]] in-browser text editor
mw.loader.load( '//fr.wikipedia.org/w/index.php?title=MediaWiki:Gadget-WikEd.js/local&action=raw&ctype=text/javascript&dontcountme=s' );
}
// {{Projet:JavaScript/Script|WikEd}}