Bonjour,

Voici le code d'une page

<html>
<head>
<meta http-equiv="Content-Language" content="fr">
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<title>Redirection</title>

<style type="text/css">
<!--
body,th {
font-family: Verdana, Tahoma, sans-serif;
font-size: 12px;
color: #000000;
}
-->
</style>
</head>

<BODY bgcolor="#eef3f6" topmargin="5">

<div align="center">
<script type="text/javascript">
window.setTimeout("location=('ok.php');",15000)
</script>

<font color="#009900"><b>Redirection...</font></b>

</div>

</body>
</html>
Je cherche donc une fonction ou directement le code qui me permettrais de changer le temps de redirection.
Comme la page n'est pas à moi j'utilise Greasemonkey pour la modifier.
Merci d'avance.