Ticket #12134: formatting.diff

formatting.php

@@ -1427 +1427 @@
 
         $srcurl = apply_filters('smilies_src', "$siteurl/wp-includes/images/smilies/$img", $img, $siteurl);
 
-        return " <img src='$srcurl' alt='$smiley_masked' class='wp-smiley' /> ";
+        return " <img src='$srcurl' alt='$smiley_masked' class='wp-smiley' width='15' height='15' /> ";
 }