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");