« MediaWiki:Gadget-RevertDiff.js » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
m ajout de encodeURI() (WP:DIMS) |
||
Ligne 40 :
// Récupération du chemin vers la version à rétablir
var chemin = encodeURI(user1[0].getElementsByTagName('a')[1].href);
user1 = user1[0].getElementsByTagName('a')[2].innerHTML;
|