MediaWiki:Gadget-WikEd.js : Différence entre versions
m (Dieudo a déplacé la page MediaWiki:Gadget-wikEd.js vers MediaWiki:Gadget-WikEd.js) |
|
(Aucune différence)
|
Version actuelle datée du 29 février 2016 à 18:07
// 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}}