">
<? if ( isset($_GET[url]) ) { /* read surce code into a string suppress PHP error messages die if can't read file */ @$string = file_get_contents($_GET[url]) or die("Cannot read $_GET[url]"); # make line breaks in source code for readability $string = str_replace("><", ">\n<", $string); # escape angle brackets for textarea $string = htmlspecialchars($string); echo "$string"; } ?>