WordPress.org

Make WordPress Core

Ticket #8321: wp-formatting.diff

File wp-formatting.diff, 782 bytes (added by JulienV, 10 years ago)

Proposed patch

  • wp-includes/formatting.php

    old new  
    3232                        $curl = str_replace($static_characters, $static_replacements, $curl);
    3333                        // regular expressions
    3434                        $curl = preg_replace($dynamic_characters, $dynamic_replacements, $curl);
    35                 } elseif (strpos($curl, '<code') !== false || strpos($curl, '<kbd') !== false || strpos($curl, '<style') !== false || strpos($curl, '<script') !== false) {
     35                } elseif (strpos($curl, '<tt') !== false || strpos($curl, '<code') !== false || strpos($curl, '<kbd') !== false || strpos($curl, '<style') !== false || strpos($curl, '<script') !== false) {
    3636                        $next = false;
    3737                } elseif (strpos($curl, '<pre') !== false) {
    3838                        $has_pre_parent = true;