Ticket #4539: formatting-01.patch

wp-includes/formatting.php

@@ -80 +80 @@
                 }
                 if ( "'" != $opening_single_quote )
                         $dynamic[ '/(\s|\A|[([{<]|")\'/'       ] = '$1' . $opening_single_quote; // opening single quote, even after (, {, <, [
+                if ( '"' != $closing_quote )
+                        $dynamic[ '/"(.*\d)"/'                    ] = $opening_quote . '$1' . $closing_quote; // in situations when the quoted text ends with a decimal digit, "like so: 42"
                 if ( '"' != $double_prime )
                         $dynamic[ '/(\d)"/'                    ] = '$1' . $double_prime; // 9" (double prime)
                 if ( "'" != $prime )