#!/usr/bin/php
<?php

$text = '<small>This is a mirror provided by <a hrer="http://releasenotes.org">releasenotes.org<a></small>';

$filename = $_ENV['PATH_TRANSLATED'];
$content = join(file($filename));
$content = preg_replace('/<\/body>/ism', $text . '</body>', $content);

echo "Content-Type: text/html\n\n";
echo $content;
echo '>' . $_ENV['PATH_TRANSLATED'];

//print_r($_ENV);
?>