Found a bug? Report it here please
$str = str_replace(array(chr(13).chr(10), chr(13), chr(10)), ' ', $str);