$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.