MediaWiki:Gadget-WikEd.js
Révision datée du 29 février 2016 à 18:02 par Dieudo (discussion | contributions)
Note : après avoir enregistré vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.
- Firefox / Safari : maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac)
- Google Chrome : appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac)
- Internet Explorer : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5
- Opera : allez dans Menu → Settings (Opera → Préférences sur un Mac) et ensuite à Confidentialité & sécurité → Effacer les données d’exploration → Images et fichiers en cache.
// 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}}