$title\n";
echo "Last modified on $date UTC by $user
\n";
$text = file_get_contents($post);
// Convert UTF-8 string to HTML entities
$text = mb_convert_encoding($text, 'HTML-ENTITIES',"UTF-8");
// Convert HTML entities into ISO-8859-1
$text = html_entity_decode($text,ENT_NOQUOTES, "ISO-8859-1");
// Convert characters > 127 into their hexidecimal equivalents
for($i = 0; $i < strlen($text); $i++) {
$letter = $text[$i];
$num = ord($letter);
if($num>127) {
$out .= "&#$num;";
} elseif ($letter == "\n") {
$out .= "
";
} elseif ($letter == "\t") {
$out .= " ";
} elseif ($letter == " ") {
$out .= " ";
} else {
$out .= $letter;
}
}
echo $out;
$parent = dirname($post);
echo "
$parent";
?>