WordPress.org

Make WordPress Core

Ticket #5396: formatting.php.diff

File formatting.php.diff, 903 bytes (added by BoltClock, 8 years ago)
  • formatting.php

     
    6363        $pee = $pee . "\n"; // just to make things a little easier, pad the end 
    6464        $pee = preg_replace('|<br />\s*<br />|', "\n\n", $pee); 
    6565        // Space things out a little 
    66         $allblocks = '(?:table|thead|tfoot|caption|colgroup|tbody|tr|td|th|div|dl|dd|dt|ul|ol|li|pre|select|form|map|area|blockquote|address|math|style|input|p|h[1-6]|hr)'; 
     66        $allblocks = '(?:table|thead|tfoot|caption|colgroup|col|tbody|tr|td|th|div|dl|dd|dt|ul|ol|li|pre|select|form|map|area|blockquote|address|math|style|input|p|h[1-6]|hr)'; 
    6767        $pee = preg_replace('!(<' . $allblocks . '[^>]*>)!', "\n$1", $pee); 
    6868        $pee = preg_replace('!(</' . $allblocks . '>)!', "$1\n\n", $pee); 
    6969        $pee = str_replace(array("\r\n", "\r"), "\n", $pee); // cross-platform newlines