Utilisateur:Andre315/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 add_s2(){
if(! document.getElementById("RDDM-robot")) return;
a = document.getElementById("contentSub");
if (!a) return;
a.innerHTML = a.innerHTML
+ '<span id="wpRobot"><a href="javascript:do_match();"><span>transfert automatique</span></a></span>';
}
$(document).ready(add_s2);