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

Ejecuta primero la reproducción proporcionada para confirmar el comportamiento de file() con FILE_SKIP_EMPTY_LINES. Después, rastrea la implementación de PHP que gestiona FILE_SKIP_EMPTY_LINES con y sin FILE_IGNORE_NEW_LINES. Se considera terminado cuando las líneas vacías se omiten en ambos casos, mientras que los finales de línea de la línea no vacía conservan el comportamiento demostrado.