MediaWiki:Gadget-CleanDiffURLs.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.

(function () {
  setTimeout(function () { // Timeout to remove "&diffmode=source" which is added later
    var url = new URL(window.location.href)
    var oldid = url.searchParams.get("oldid")
    var diff = url.searchParams.get("diff")
    var hash = window.location.hash.substr(1) ? '#'+window.location.hash.substr(1) : ''
    var output

    if (oldid && !diff) {
      output = 'Special:Permalink/' + oldid
    } else if (oldid && diff === 'prev') {
      output = 'Special:Diff/' + oldid
    } else if (diff && oldid) {
      output = 'Special:Diff/' + oldid + '/' + diff
    } else if (diff) {
      output = 'Special:Diff/' + diff
    }

    if (output) {
      window.history.replaceState({}, '', '/wiki/' + output + hash)
    }
  }, 50)
})()