Ticket #33787: 33787.diff

formatting.php

@@ -4527 +4527 @@
                         }
 
                         // Loosely match the Emoji Unicode range.
-                        $regex = '/(&#x[2-3][0-9a-f]{3};|&#x1f[1-6][0-9a-f]{2};)/';
+                        $regex = '/&#x(e[0-9a-f][0-9a-f][0-9a-f]|f[0-8][0-9a-f][0-9a-f])/i';
 
                         $matches = array();
                         if ( preg_match_all( $regex, $content, $matches ) ) {