Utilisateur:ThomasV/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);

self.proofreadpage_debug=1;
//self.proofreadpage_numbers_inline=1;


/*
function pr_test(){
    $( 'div.pagetext' ).addClass( self.proofreadPageCss );
}
$(document).ready( pr_test );
*/

//mw.util.addPortletLink('p-tb', 'http://mediawiki.org/', 'MediaWiki.org', 't-mworg', 'Go to MediaWiki.org ', 'm', '#t-print')