我正在整理一个字符串,我将输出到 .srt 文件:
while ($row = mysql_fetch_array($res)) {
$srt = $srt . $row['line_number'] . PHP_EOL;
$srt = $srt . str_replace(".", ",", $row['start']) . " --> " . str_replace(".", ",", $row['end']) .PHP_EOL ;
$srt = $srt . br2nl($row['text']) . PHP_EOL;
$srt = $srt . PHP_EOL;
}
但它似乎PHP_EOL
不起作用,因为我的输出是:
100:00:02,107 --> 00:00:05,810you sure
并且没有任何换行符。我试图让我的输出是:
1
00:00:02,107 --> 00:00:05,810
you sure
后跟一个换行符。
通过我的计算机上的 localhost 进行测试时,它可以工作。我主机上的 PHP 版本是否缺少对 的支持PHP_EOL
?