Salve,
ho questa pagina php che si occupa di aprire un file, della forma:

<?php/*|1|2|3|4|5|6|7|ecc...|44|*/?>

e che in qualche |...|, dall'indice 11 all'indice 30, sostituisce i valori postati da un'altra pagina php con un form di submission. Però non funziona: puntualmente i numeri 12, 13 e 14 non me li aggiorna, lasciandoli bianchi.

Ecco la pagina, vi ringrazio dell'aiuto!

codice:
<?php

    //Sostituisco le lettere accentate con le relativa entità html
    function cambia_acc($dato){
        $dato = @str_replace("\'", "'", $dato);
        $dato = @str_replace('\"', '"', $dato);
        return $dato;
    }
    
    // Definizione dei path
    $path0 = 'public/tornei';


    // Collegamento tra variabile e input
    $time = $_POST['time'];
    $place = @htmlspecialchars($place,ENT_QUOTES);
    $place = cambia_acc($_POST['place']);
    
    $gioc1 = $_POST['gioc1'];
    $gioc2 = $_POST['gioc2'];
    $gioc3 = $_POST['gioc3'];
    $gioc4 = $_POST['gioc4'];
    $gioc5 = $_POST['gioc5'];
    $gioc6 = $_POST['gioc6'];
    $gioc7 = $_POST['gioc7'];
    $gioc8 = $_POST['gioc8'];
    $gioc9 = $_POST['gioc9'];
    $gioc10 = $_POST['gioc10'];
    $gioc11 = $_POST['gioc11'];
    $gioc12 = $_POST['gioc12'];
    $gioc13 = $_POST['gioc13'];
    $gioc14 = $_POST['gioc14'];
    $gioc15 = $_POST['gioc15'];
    $gioc16 = $_POST['gioc16'];
    $gioc17 = $_POST['gioc17'];
    $gioc18 = $_POST['gioc18'];
    $gioc19 = $_POST['gioc19'];
    $gioc20 = $_POST['gioc20'];
    
    $guarda = $_POST['guarda'];
    $note = $_POST['note'];
    
    $path = $_POST['path'];
    $path = "$path0/$path";
    
    $type = $_POST['type'];
    $nome = $_POST['nome'];
    
    // Scrivo le informazioni sul file di testo
    $f = @file_get_contents("$path");
    $file = @explode("|", $f);
    
    // Dati partita
    $file[0];
    $file[1];    
    $file[2];    
    $file[3];    
    $file[4];    
    $file[5];    
    $file[6];    
    $file[7];    
    $file[8];    
    $file[9];    
    $file[10];    
    
    // Convocati
    $file[11] = $gioc1; //
    $file[12] = $gioc2; //
    $file[13] = $gioc3; //
    $file[14] = $gioc4; //
    $file[15] = $gioc5;
    $file[16] = $gioc6;
    $file[17] = $gioc7;
    $file[18] = $gioc8;
    $file[19] = $gioc9;
    $file[20] = $gioc10;
    $file[21] = $gioc11;
    $file[22] = $gioc12;
    $file[23] = $gioc13;
    $file[24] = $gioc14;
    $file[25] = $gioc15;
    $file[26] = $gioc16; //
    $file[27] = $gioc17;
    $file[28] = $gioc18;
    $file[29] = $gioc19;
    $file[30] = $gioc20;
    
    $file[41] = $time;
    $file[42] = $place;
    $file[43] = $guarda;
    $file[44] = $note;
    
    $file[45];
        
    @file_put_contents($path, "<?php/*|$file[1]|$file[2]|$file[3]|$file[4]|$file[5]|$file[6]|$file[7]|$file[8]|$file[9]|$file[10]|$file[11]|$file[12]|$file[13]|$file[14]|$file[15]|$file[16]|$file[17]|$file[18]|$file[19]|$file[20]|$file[21]|$file[22]|$file[23]|$file[24]|$file[25]|$file[26]|$file[27]|$file[28]|$file[29]|$file[30]|||||||||||$file[41]|$file[42]|$file[43]|$file[44]|*/?>");
        
    @fclose($path);
    
    echo "
<CENTER></br></br></br></br></br></br>
<font color=\"#e4dece\"> Convocazioni inserite correttamente. </font></br></br>
<h4><a href=\"/gestisci.php?page=gestisci_partite&t=$type&n=$nome\"> Torna </a></h4>
</CENTER> ";


?>