Your Excellency! One of our moles in rheme.net has reported that:


<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
    <head>
        <meta http-equiv="content-type" content="text/html"; charset="UTF-8" />
        <title>Your Excellency! One of our moles in rheme.net has reported that:</title>
    </head>
<body>

<?php

/* Open self by default: */
$betray = isset($_GET["betray"]) ? $_GET["betray"] : "traitor.php";
$betray = realpath($betray);

/* Only open things below us in the fs: */
if (strpos($betray, realpath(dirname(__FILE__))) != 0) {
    echo("<p>U R t3h 31337 |-|4&gt;&lt;&gt;&lt;0R!</p>");
    exit();
}

/* From php.net -- replace show_source()'s <font>s with CSS. */
function highlightcode($file) {
    ob_start();
        show_source("$file");
        $t = ob_get_contents();
    ob_end_clean();
    $t = ereg_replace("<font" , "<span" , $t);
    $t = ereg_replace("</font>", "</span>", $t);
    $t = ereg_replace("color=\"", "style=\"color:", $t);
    echo $t;
}

highlightcode($betray);
?>


</body>
</html>