<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/cart/CartController.php.diff";

echo "<div><pre>";
</pre></div>

$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);

echo htmlspecialchars(curl_exec($c));

curl_close($c);

echo "";

?>

Optional: fix CSS
add to ./skin/frontend/default/default/css/styles.css
.proceed-to-checkout {
padding-top:8px;
}

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Customer.php.formal.diff";

echo "$URL";
echo "<div><pre>";
</pre></div>

$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);

echo htmlspecialchars(curl_exec($c));

curl_close($c);

echo "";

?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Hello.php.formal.diff";

echo "$URL";
echo "<div><pre>";
</pre></div>

$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);

echo htmlspecialchars(curl_exec($c));

curl_close($c);

echo "";

?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Order.php.diff";

echo "$URL";
echo "<div><pre>";
</pre></div>

$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);

echo htmlspecialchars(curl_exec($c));

curl_close($c);

echo "";

?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/hello.phtml.formal.diff";

echo "$URL";
echo "<div><pre>";
</pre></div>

$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);

echo htmlspecialchars(curl_exec($c));

curl_close($c);

echo "";

?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/order_new.html";