Salve ragazzi,
dovrei importare un file html e trasformarlo in un file semplice di testo, eliminando quindi tutti i tipi di formattazione interni al file, tipo ritorni a capo (\n), tabulazioni (\t), ...

La soluzione che ho pensato è la seguente:

Codice PHP:
$pagina file_get_contents('file.html');

$pagina str_replace("\n"," ",$pagina);
$pagina str_replace("\t"," "$pagina);
... 

Ma vorrei sapere se esiste una soluzione più semplice (funzione dedicata?) che trasformi da html a txt rendendo il contenuto dell'html come se fosse su unica riga nel file txt.