Puoi fare ancora di meglio
Esiste una funzione che estrae l'ultimo elemento di un array (quindi, nel tuo caso, del file appena aperto):

Codice PHP:
$file "/web/htdocs/www.miosito.it/home/db/db.txt";
$file_txt file($file);
echo 
array_pop($file); 
Il risultato è uguale ed è un po' più elegante :P