Contador de linhas de arquivo texto - PHP

Boa tarde

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

Obrigado.