Greasemonkey transformer page
Bonjour,
Voici le code d'une page
Citation:
<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.
