Elemente löschen

[Bernhard Mecl]

ich habe ein array von einem file() aufruf und möchte nun die ersten
400 Zeilen in einer möglichst zeitsparenden routine löschen

$array=array_slice($array,400);