Saved

'; } else { $file = file_get_contents($filename); } $file = htmlspecialchars($file); } ?>

<?php echo $file ?>