// Déplacé vers MediaWiki:Gadget-RevertDiff.js car transformé en gadget