mrevil

<?
$url = urlencode(htmlentities($_GET['url'], ENT_NOQUOTES));
if(isset($url)){
        $source = file_get_contents($url);
        $source = htmlspecialchars($source);
        $uhoh[0] = '/<?/';
        $uhoh[1] = '/<%/';
        $uhoh[2] = '/?>/';
        $uhoh[3] = '/%>/';
        $phew[0] = '&lt;?';
        $phew[1] = '&lt;%';
        $phew[2] = '?&gt;';
        $phew[3] = '%&gt;';
        $source = preg_replace($uhoh, $phew, $source);
}
?>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>

<head>
        <title> <?if(isset($url)){echo 'View page source of '.urldecode($url);}else{echo'View source of remote files';}?></title>
</head>

<body>

<?php
if(!isset($url)){
        echo '<form action="'.$PHP_SELF.'" method="get">
                        <p>
                        <input type="text" name="url" value="http://yoururlhere/file.htm" />
                        </p>
                  </form>';
}
else{
        echo $source;
}
?>

</body>
</html>