Problema Array (inizio ora a studiare PHP)

[perseogiugno75]

Cia a tutti.
Sono un neofita assoluto in php e sto cercando di capire gli array (a quanto vedo molto simili ad actionscript)
il mio problema è il seguente:
Ho un file di testo esterno chiamato "prova.txt".
in questo file ci sono 4 righe di testo.
lo leggo tramite questo script

<?
$mio = file("prova.txt");
for($i=0; $i<=3; $i++)
{
print($mio[$i]."
");

}
?>

nel caso specifico, nel ciclo "for" ho inserito il numero esatto di righe del testo.
ma se il numero di righe fosse variabile, come posso ottenere tramite php il numero di righe dentro un file di testo?

grazie e abbiate pazienza!!!!!

[kodode]

se fai print_r($mio) cosa stampa?