Moved.', htmlspecialchars($url)); exit(); } // read the textfile $text = file_get_contents($file); ?>

<?php echo htmlspecialchars($text) ?>