FILE_SKIP_EMPTY_LINES only works with FILE_IGNORE_NEW_LINES

Description

The following code (https://3v4l.org/Ys4MU):

<?php

$filename = tempnam('/tmp', 'testing-');
file_put_contents($filename, "First\n\nSecond\n");
$lines = file($filename, FILE_SKIP_EMPTY_LINES);
echo "Just FILE_SKIP_EMPTY_LINES:\n";
var_dump( ...$lines );

echo "Also FILE_IGNORE_NEW_LINES:\n";
$lines2 = file($filename, FILE_SKIP_EMPTY_LINES|FILE_IGNORE_NEW_LINES);
var_dump( ...$lines2 );
unlink($filename);

Resulted in this output:

Just FILE_SKIP_EMPTY_LINES:
string(6) "First
"
string(1) "
"
string(7) "Second
"
Also FILE_IGNORE_NEW_LINES:
string(5) "First"
string(6) "Second"

But I expected this output instead:

Just FILE_SKIP_EMPTY_LINES:
string(6) "First
"
string(7) "Second
"
Also FILE_IGNORE_NEW_LINES:
string(5) "First"
string(6) "Second"

PHP Version

8.3+

Operating System

No response

Trước tiên, hãy chạy bản tái hiện được cung cấp để xác nhận hành vi của file() với FILE_SKIP_EMPTY_LINES. Sau đó, hãy lần theo phần triển khai PHP xử lý FILE_SKIP_EMPTY_LINES khi có và không có FILE_IGNORE_NEW_LINES. Được coi là hoàn tất khi các dòng trống được bỏ qua trong cả hai trường hợp, trong khi phần kết thúc dòng của dòng không trống vẫn giữ nguyên hành vi đã được minh họa.