From 46c4c6502273994516114a361ef1aa933f06b440 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 13 Jul 2020 11:10:22 +0100
Subject: [PATCH] MemoryManager: remove duplicated information from memory dump

---
 src/MemoryManager.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/MemoryManager.php b/src/MemoryManager.php
index b6718774c8..d0ccf40109 100644
--- a/src/MemoryManager.php
+++ b/src/MemoryManager.php
@@ -424,7 +424,7 @@ class MemoryManager{
 					}
 				}
 
-				fwrite($obData, "$hash@$className: " . json_encode($info, JSON_UNESCAPED_SLASHES) . "\n");
+				fwrite($obData, json_encode($info, JSON_UNESCAPED_SLASHES) . "\n");
 			}
 
 		}while($continue);