diff --git a/src/playground/credits/users.js b/src/playground/credits/users.js
index 2335b401823..c0d72f1d558 100644
--- a/src/playground/credits/users.js
+++ b/src/playground/credits/users.js
@@ -182,6 +182,11 @@ const pmPullRequestDevelopers = [ // these people made a PR that got merged, or
         image: `https://github.com/NotEmbin.png`,
         href: `https://github.com/NotEmbin/`,
     },
+    {
+        text: 'ddededodediamante',
+        image: `https://github.com/ddededodediamante.png`,
+        href: `https://github.com/ddededodediamante/`,
+    },
     {  // rx or ry single fix
         text: 'NotCryptid',
         image: `https://penguinmod.com/unknown_user.png`,
@@ -955,7 +960,8 @@ const pmExtensionDevelopers = [
     'oc9x97',
     'lego7set',
     'mariocraft987',
-    'AshimeeAlt'
+    'AshimeeAlt',
+    'ddededodediamante'
 ].map(fromHardcodedGithub);
 
 const pmCodeUsedFrom = [