Du kannst mit file() einen Datei zeilenweise in einen Array lesen:
PHP-Code:
$daten = file('datei.txt');
//$daten[0] ist jetzt die erste Zeile
//$daten[1] die zweite ...
Danach kann man den alten Array in einen neuen schreiben, ohne dabei die 3 Zeile zu übernehmen
PHP-Code:
$daten_neu = array();
for($i = 0; $i < sizeof($daten); $i++) {
if($i != 2) {
$daten_neu[] = $daten[$i];
}
}
Anschließend brauchst Du das ganze nur noch in die Datei zurückspeichern:
PHP-Code:
$input = join('', $daten_neu);
//Jetzt den Array zu einem String zusammen
$fp = fopen('datei.txt', w);
fputs($fp, $input);
fclose($fp);