From c51f5cb0b95a28fd941b7c7cb567debe783dc6de Mon Sep 17 00:00:00 2001
From: JeremyGamer13 <69337718+JeremyGamer13@users.noreply.github.com>
Date: Tue, 2 Apr 2024 16:03:45 -0600
Subject: [PATCH] Update users.js

---
 src/playground/credits/users.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/playground/credits/users.js b/src/playground/credits/users.js
index 9476e590599..1d029398ae5 100644
--- a/src/playground/credits/users.js
+++ b/src/playground/credits/users.js
@@ -345,7 +345,7 @@ const extensionDevelopers = [
     'GarboMuffin',
     'griffpatch',
     'DT-is-not-available',
-    'Vadik1',
+    'Xeltalliv',
     'MikeDev101',
     'LilyMakesThings'
 ].map(fromHardcodedGithub);