Vorrei sapere quante righe sono contenuti in un file di testo; come faccio?

Utente HTML.it
chiede

Vorrei sapere quante righe sono contenuti in un file di testo; come faccio?

Redazione HTML.it
risponde

Con «file(nomefile)» puoi mettere il file tutto in un array e con count puoi contarne i valori, in questo modo:

<? 
$righi_del_file=file("miofile.txt"); 
echo count($righi_del_file); 
?>