Ticket #28575: wptexturize.patch

wp-includes/formatting.php

@@ -210 +210 @@
 
         $textarr = preg_split( $regex, $text, -1, PREG_SPLIT_DELIM_CAPTURE | PREG_SPLIT_NO_EMPTY );
 
+        $do_image_sizer_check = false;
+                        
+        if ( 1 === preg_match( '/(?<=\d)x-?\d/', $text ) ) {
+                $do_image_sizer_check = true;
+        }
+
         foreach ( $textarr as &$curl ) {
                 // Only call _wptexturize_pushpop_element if $curl is a delimeter.
                 $first = $curl[0];
@@ -238 +244 @@
                         $curl = preg_replace($dynamic_characters, $dynamic_replacements, $curl);
 
                         // 9x9 (times), but never 0x9999
-                        if ( 1 === preg_match( '/(?<=\d)x-?\d/', $text ) ) {
+                        if ( $do_image_sizer_check ) {
                                 // Searching for a digit is 10 times more expensive than for the x, so we avoid doing this one!
                                 $curl = preg_replace( '/\b(\d(?(?<=0)[\d\.,]+|[\d\.,]*))x(-?\d[\d\.,]*)\b/', '$1&#215;$2', $curl );
                         }