PHP的函数file_get_contents() 把整个文件读入一个字符串中