<?php if($_POST['edit']) { $filename = $_POST['file']; $handle = fopen($filename, "r"); $contents = fread($handle, filesize($filename)); echo "<form