PHP使用file_get_content设置头信息的方法