Ticket #5128: 5128.patch

_source/plugins/styles/plugin.js

@@ -766 +766 @@
                                 } );
 
                 var pres = [];
-                splitedHtml.replace( /<pre>([\s\S]*?)<\/pre>/gi, function( match, preContent ){
+                splitedHtml.replace( /<pre\b.*?>([\s\S]*?)<\/pre>/gi, function( match, preContent ){
                         pres.push( preContent );
                 } );
                 return pres;