WordPress.org

Make WordPress Core

Ticket #8321: wp-formatting.diff

File wp-formatting.diff, 782 bytes (added by JulienV, 5 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;