Puoi fare ancora di meglio
Esiste una funzione che estrae l'ultimo elemento di un array (quindi, nel tuo caso, del file appena aperto):
Il risultato è uguale ed è un po' più elegante :PCodice PHP:
$file = "/web/htdocs/www.miosito.it/home/db/db.txt";
$file_txt = file($file);
echo array_pop($file);