la migliore delle soluzioni che mi viene in mente è di spezzare il file in due parti, poi accodare la nuova parte alla fine del primo e rimettere insieme i due pezzi! in pratica:
Codice PHP:
$file = file_get_contents('file.txt'); // inserisce il contenuto di FILE.TXT nella stringa $file
$pos=11; // punto da cui inserire un testo $text
// dato che una stringa è un array, inserisco i primi pos-1 caratteri in un array
$array1 = array();
for ($i=0; $i<$pos; $i++)
$array1[$i] = $file[$i];
// inserisco il resto in un altro array
$array2 = array();
for ($i=$pos+1; $i<count($file); $i++)
$array2[$i] = $file[$i];
// accodo ad $array1 $text
for ($i=0; $i<count($text); $i++)
array_push($array[1], $text[$i]);
// accodo ad $array1 $array2
for ($i=0; $i<count($array2); $i++)
array_push($array[1], $array2[$i]);
// Crea una unica stringa di testo
$text = NULL;
for ($i=0; $i<count($array1); $i++)
$text .= $array1[$i];
// cancello il file 'file.txt', lo ricreo e ci inserisco $text
unlink('file.txt');
$handle = fopen('file.txt', 'w');
chmod('file.txt', 777);
fwrite($handle, $text);
fclose($handle);