Come conto il numero di linee presenti in un file?

Leggendolo prima con l’istruzione file(), che converte il contenuto del file in un array, e quindi contando i valori dell’array con count():

<? 
$linee_del_file=file("ilmiofile.dat"); 
echo count($linee_del_file); 
?>