解决Wordpress英文引号问题

考虑到效率问题，没用wordpress插件。写了一个CSS来实现代码与文字的区分，但后台的英文半角符号转到index等页面就成了中文全角，CC起来很不方便… 今天终于找到了解决办法！

注释掉 wp-includes/formatting.php 文件中的如下两行代码即可。
// static strings
$curl=str_replace($static_characters,$static_replacements,$curl);
// regular expressions
$curl=preg_replace($dynamic_characters,$dynamic_replacements,$curl);