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.
function doShowPurge() {
  var node = document.getElementById("ca-purge");
  if(node == null) {
    /* N'apparaît pas sur toutes les pages */
    return;
  }
  node.setAttribute("class", "collapsible");
  var span = document.createElement("span");
  span.appendChild(node.firstChild)
  node.appendChild(span);
  document.getElementById("p-views").getElementsByTagName("ul")[0].appendChild(node)
}

/* $(document).ready(showPurge) */
$(window).on("load", doShowPurge);