Contare numero di righe in un file

[marketto]

$filename = 'prova.txt';
echo count(file($filename));