php将用户信息提交到表单并且以txt文档打印出来