// This function does always add a new-line character to every line.
function appendLineToFile ($file, $line) {
$fp = fopen($file, 'a') or reportBug(__FUNCTION__, __LINE__, 'Cannot write to file ' . basename($file) . '!');
- fwrite($fp, $line . chr(10));
+ fwrite($fp, $line . PHP_EOL);
fclose($fp);
}