/';
$uhoh[3] = '/%>/';
$phew[0] = '<?';
$phew[1] = '<%';
$phew[2] = '?>';
$phew[3] = '%>';
$source = preg_replace($uhoh, $phew, $source);
}
?>
<?if(isset($url)){echo 'View page source of '.urldecode($url);}else{echo'View source of remote files';}?>
';
}
else{
echo $source;
}
?>