ho risolto cosi

$varfile = @file("prova.txt");
$num_var = count($varfile);