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:15 et modifiée en dernier par Orlodrim (discuter | contributions) (fixPunctFrench semble utile. diffPreset n'existe pas.). 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)

window.wikEdConfig = {};
// Les signes de ponctuations ":", ";", "?" et "!" doivent être précédés d'une espace.
window.wikEdConfig.fixPunctFrench = true;
// Convertir les espaces insécables en espaces plutôt qu'en " " (voir la page de discussion).
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}}