Originariamente inviato da Alhazred
$lines è già un array che contiene le righe del file una in ogni entry, che lo fai a fare questo?
$righe = explode("\n", "miofile.txt");

Usa direttamente $lines, anche perché penso che l'explode fatto su \n non funzioni, per quello ti svuota tutto, perché per PHP in $righe c'è una sola entry.
Ciao Alhazred hai ragione $line è gia un array!! stupida distrazione mia!
e mi ha risolto il problema,

ti confermo che l'explode su \n me lo fa si comporta correttamente!

grazie mille
per un errore stupido stavo impazzendo!
grazie per avermelo fatto notare.