Utilisateur:MIRROR/vector.js

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.

mw.loader.load('http://wikisource.org/w/index.php?title=MediaWiki:DynamicRC.js&action=raw&ctype=text/javascript');


function proofreadpage_setup( pr_w, pr_h, pr_e){
  if(self.proofreadPageIsEdit && self.proofreadPageWidth>1024){
    self.proofreadPageViewURL = self.proofreadPageViewURL.replace(self.proofreadPageWidth+"px","1024px");
    self.proofreadPageWidth = 1024;
    self.proofreadPageHeight = self.proofreadPageWidth * pr_h/pr_w;
  }
  pr_setup();
}

self.proofreadpage_disable_wheelzoom=true;