PHP字符串函数htmlspecialchars( 把特殊字符转换为HTML实体)