obtenir('RenommageCategorie');

// Ajoute des boutons à la droite des pages de Wikipédia
var topLink = function ($) {
 
$('#bodyContent').append('\
<div class="noprint" style="position:fixed; display:block; width:20px; margin:0; padding:0; top:40%; right:2px; background-color:#FFF; z-index:2;">\
<ul style="list-style:none; margin:0; padding:0;">\
  <li  style="border:1px solid #A7D7F9; margin-bottom:3px; background-color:#F6F6F6;">\
    <a href="#" title="Haut de page" >\
      <img src="//upload.wikimedia.org/wikipedia/commons/a/af/1uparrow.png" height=20 border=0 />\
    </a>\
  </li>\
  <li style="border:1px solid #A7D7F9; margin-bottom:3px; background-color:#F6F6F6;">\
    <a href="//fr.wikipedia.orghttps://wiki95.com/fr/Wikipédia:Le_Bistro" title="Le Bistro">\
      <img src="//upload.wikimedia.org/wikipedia/commons/3/3d/Icon_stat_bar.png" height=20 border=0 />\
    </a>\
  </li>\
  <li style="border:1px solid #A7D7F9; margin-bottom:3px; background-color:#F6F6F6;">\
    <a href="javascript:window.location.reload()" title="Rafraîchir la page">\
      <img src="//upload.wikimedia.org/wikipedia/commons/b/bb/Farm-Fresh_arrow_refresh_small.png" height=20 border=0 />\
    </a>\
  </li>\
  <li style="border:1px solid #A7D7F9; margin-bottom:3px; background-color:#F6F6F6;">\
    <a href="#footer" title="Bas de page">\
      <img src="//upload.wikimedia.org/wikipedia/commons/7/7d/1downarrow.png" height=20 border=0 />\
    </a>\
  </li>\
</ul>\
</div>\
');
}
$(document).ready(topLink);
importScript('Utilisateur:Lgd/refErrors/refErrors.js');