Script PHP pour modifier un fichier .txt

<?php
    $fichier="modif.txt"; // Nom du fichier à modifier

        if(isset($_POST['boutton'])) {    
        //if(is_file($fichier)) unlink($fichier); //si le fichier existe :  suppression du fichier pour le remplacer par le nouveau avec les nouveau éléments
        $ouverture=fopen("$fichier","w"); // Création du nouveau fichier et ouverture du fichier avec le mode w on ouvre le fichier qu'en écriture et unlink devient inutile car le fichier est vidé automatiquement
        fwrite($ouverture,"$_POST[modif]"); // ecriture
        fclose($ouverture); // fermeture du fichier
        echo '<h2>Modification effectue</h2>'; // Affichage validation
        }

?>
    <form method="post" action=""> <!-- j'ai modifié action pour qu'il soit compatible peut importe le nom de la page-->
    <textarea name="modif" rows="10" COLS="40"><?php // fait attention de bien collé les déclaration php au balises html sinon ca ecria les espace dans ton fichier
    if(is_file($fichier)) echo file_get_contents($fichier); 
?></textarea>
    <br/><input type="submit" name="boutton" value="Modifier">
    </form>