Eliminar 9 primeras líneas de un archivo

[spider_boy]

También podrías hacer algo como esto :

Código PHP:

$texto = file_get_contents('archivo.txt');
$xmlpos = strpos($texto, '<?xml');
$xml = substr($texto, $xmlpos);
echo $xml;