php 把文字变成 编码&#几串数字的那种HTML实体码