Aller au contenu

MediaWiki:Gadget-WikEd.js

Une page de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 11 avril 2021 à 12:02 et modifiée en dernier par Orlodrim (discuter | contributions) (Cette manière de définir les options ne marche plus. Je corrige pour la nouvelle, en attendant de comprendre si ça sert à quelque chose pour les autres.). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Firefox (sur GNU/Linux) / Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.
// 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;

window.wikEdConfig = {};
window.wikEdConfig.convertNbspToEntities = false;

// 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( '//en.wikipedia.org/w/index.php?title=User:Cacycle/wikEd.js&action=raw&ctype=text/javascript' );
}

// {{Projet:JavaScript/Script|WikEd}}
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=MediaWiki:Gadget-WikEd.js&oldid=181789066 ».