list ($headerdata, $rawbody) = explode("\n\n", file_get_contents($filename), 2);
$head = parsemailhead($headerdata);
list ($headerdata, $rawbody) = explode("\n\n", file_get_contents($filename), 2);
$head = parsemailhead($headerdata);
printf("<h2>%s</h2>\n", htmlspecialchars($head['Subject'] ?? 'Mailbericht zonder onderwerp'));
print '<dl class="terse">';
printf("<h2>%s</h2>\n", htmlspecialchars($head['Subject'] ?? 'Mailbericht zonder onderwerp'));
print '<dl class="terse">';
list ($headerdata) = explode("\n\n", file_get_contents($filename));
$head = parsemailhead($headerdata);
list ($headerdata) = explode("\n\n", file_get_contents($filename));
$head = parsemailhead($headerdata);