{$title}" . "{$indent}

{$description}

"; foreach($files as $fileName) { $file = fopen($fileName, 'rb'); $header = trim(fgets($file)); if(empty($header)) continue; [$version, $date] = explode(' - ', $header, 2); $versionId = $version; $date = strtotime($date); $body .= sprintf('%s

%s —

', $indent, $versionId, $versionId, $version, date('c', $date), date('Y-m-d', $date)); while(($line = fgets($file)) !== false) { $line = trim($line); if(empty($line)) continue; [$stamp, $line] = explode(' ', $line, 2); $body .= sprintf('%s

%s %s

', $indent, $stamp, $line); } fclose($file); } $body .= substr($indent, 0, -4); require_once __DIR__ . '/_inc/out.php';