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);
#源码
#<div>ab c</div>
#页面
#<div>ab c</div> <div class="clear">
                 
              
              
        
            </div>