Boa tarde

O PHP tem alguma função que retorne o numero de linhas de um arquivo.txt ?

Obrigado.