From 82aeab8f852a63e83d781617841237944392cd45 Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Sat, 25 Jan 2020 13:32:28 +0100
Subject: [PATCH] Fix displaying anonymous classes on PHP >= 7.4.2

---
 Application.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Application.php b/Application.php
index e9d80d76d..d23871f5a 100644
--- a/Application.php
+++ b/Application.php
@@ -796,7 +796,7 @@ protected function doRenderException(\Exception $e, OutputInterface $output)
             }
 
             if (false !== strpos($message, "class@anonymous\0")) {
-                $message = preg_replace_callback('/class@anonymous\x00.*?\.php(?:0x?|:)[0-9a-fA-F]++/', function ($m) {
+                $message = preg_replace_callback('/class@anonymous\x00.*?\.php(?:0x?|:[0-9]++\$)[0-9a-fA-F]++/', function ($m) {
                     return class_exists($m[0], false) ? get_parent_class($m[0]).'@anonymous' : $m[0];
                 }, $message);
             }