<?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";

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 "";

?>

ToDo
file: formal.sql.txt ?
fix other "Hallo"s / "Hello"s
cd ./app

grep "getCustomerName()" * -R | grep Hallo

Links
http://www.magentocommerce.com/boards/v../viewthread/37850/P0/