Vi posto il codice come l'ho fatto io:

$cambiatesto = $_POST['cambiatesto'];
$linea =file('prova.html','r');
$linea[9] = $cambiatesto."\n";
//Adesso nel vettore $linea ho tutto il file modificato
//Devo cancellatere tutto il file prova.html e riscriverlo mettendogli $linea[i]

unlink('prova.html');
$file = fopen('prova.html','x+');
$i=0;
while($i!=17) {
fwrite($file, $linea[$i]);
$i++;
}

L'unica cosa che non mi convince è il cancellare il file e ricrearne un'altro subito dopo...

Cosa ne penste come codice? E valido?