Устраняем замену кавычек у WordPress

Сейчас при написании нового поста в блог столкнулся с проблемой, что WordPress заменяет  кавычки, что иногда начисто убивает код либо желаемое оформление. Например, «какой-либо текст» WP заменит на «какой-либо текст», что нелогично. Хотел бы поставить те кавычки, поставил бы! Решением проблемы является плагин Unfancy Quote Plugin либо Preserve Code Formatting. Но ведь наш блог о том, как решать проблемы либо дополнять функционал без использования этих громоздких и тяжеловесных модулей. Поэтому сделаем все кодом.

Открываем файл wp-includes/formatting.php, находим строку № 40:

    $opening_quote = _x('“', 'opening curly quote');
    /* translators: closing curly quote */
    $closing_quote = _x('”', 'closing curly quote');  

и заменяем на:

$opening_quote = _x('"', 'opening curly quote');
/* translators: closing curly quote */
$closing_quote = _x('"', 'closing curly quote'); 

Теперь кавычки отображаются так, как мы рисуем их в редакторе.
Примечание: после обновления движка блога проделанные изменения будут утеряны. Во избежание этого сохраняем резервную копию, например скопировав измененный файл с другим именем formatting_mod.php. После обновления — переименовываем файл в исходное имя.