Nel frattempo ho risolto così:
Codice PHP:
$textfile = fopen("pippo.txt","r");
$textfile_new = fopen("pippo_new.txt","a");
$contenuto_arr2=file("pippo.txt");
$numerorighe = count(file("pippo.txt"));
for ($x="50"; $x<="$numerorighe"; $x++) {
$campo = "$contenuto_arr2[$x]";
fwrite($textfile_new, $campo);
}
fclose($textfile);
fclose($textfile_new);
unlink("pippo.txt");
rename("pippo_new.txt","pippo.txt");