« MediaWiki:Gadget-RevertDiff.js » : différence entre les versions

m
Correction de redirection
(remplacement de code n'étant pas sous licence libre)
m (Correction de redirection)
document.getElementById('editform').submit();
} else if (location.href.match(/warn=9/)) {
document.getElementById('wpTextbox1').value = '{{BonjourBienvenue IP|sign=~~~~}}';
document.getElementById('editform').submit();
} else if (location.href.match(/warn=0/)) {
4

modifications