php: file(...) : Format der Datei?

[mathefritz]

zu lesende Datei "Erledigte":

"5" => true,"6" => true,"7" => true,"8" => false,"9" => true ( mit \n am Ende )

Testcode

<?php
   $Erledigt = file("ErledigteDb2");
echo "5:";echo $Erledigt["5"]  ? "W" : "F"; echo   ", ";
echo "6:";echo $Erledigt["6"]  ? "W" : "F"; echo   ", ";
echo "7:";echo $Erledigt["7"]  ? "W" : "F"; echo   ", ";
echo "8:";echo $Erledigt["8"]  ? "W" : "F"; echo   ", ";

echo "9:";echo $Erledigt["9"]  ? "W" : "F"; echo   "<br>";

print_r($Erledigt);
?>

Ergebnis

`5:F, 6:F, 7:F, 8:F, 9:F
Array ( [0] => "5" => true,"6" => true,"7" => true,"8" => false,"9" => true ) `

der print_r liefert also vernünftiges - aber warum nicht auch die echos 6: T, 7: T ?