3 function read_whole_file($name) {
4 $fd = fopen($name, 'r');
6 die("Failed to read file: '$name'");
8 $temp = fread($fd, filesize($name));
13 function unix_newlines($str) {
14 $str = str_replace("\r\n", "\n", $str);
15 return str_replace("\r", "\n", $str);