php 变换 html特殊符号

php 转换 html特殊符号
我写的函数

//转换某些特殊字符
function format_html($str){
$str = str_replace('“', '“',$str);
$str = str_replace('”', '”',$str);
$str = str_replace('·', '·',$str);
$str = str_replace('‘', '‘',$str);
$str = str_replace('’', '’',$str);
$str = str_replace('…', '…', $str);
$str = str_replace('—', '—', $str);
return $str;
}

但是这些符号实在是太多了。网上说的，大概255个。这么多，怎么可能转的完，有没有什么方法？

[解决办法]
....亲不用这么转的 “ 这种符号当网页不识别html语言是就会这么显示 如果页面时full html的话 就是“

[解决办法]

PHP code

htmlspecialchars ：$htm = "<div>ab c</div>";echo htmlspecialchars($htm);#源码#&lt;div&gt;ab c&lt;/div&gt;#页面#<div>ab c</div>