« MediaWiki:Gadget-RevertDiff.js » : différence entre les versions
Contenu supprimé Contenu ajouté
remplacement de code n'étant pas sous licence libre |
m Correction de redirection |
||
Ligne 94 :
document.getElementById('editform').submit();
} else if (location.href.match(/warn=9/)) {
document.getElementById('wpTextbox1').value = '{{
document.getElementById('editform').submit();
} else if (location.href.match(/warn=0/)) {
| |||