Eliminar 9 primeras líneas de un archivo

[abimaelrc]

Sí es posible, solo tienes que ir recorriendo las líneas hasta que encuentre lo que deseas. Por ejemplo

Código PHP:

<?php
$file = 'f.txt';
$bool = true;
$str = '';
foreach(file($file) as $row){
    $row = trim($row);
    if(empty($row) || ($bool && substr($row,0,5) != '<?xml')){ continue; }
    else{ $bool = false; }
    $str .= $row . PHP_EOL;
}
file_put_contents($file, $str);