renamed user

JeremyGamer13 · JeremyGamer13 · commit a24168a8ff7e · 2025-12-26T01:33:51.000-07:00
diff --git a/src/playground/credits/users.js b/src/playground/credits/users.js
@@ -193,9 +193,9 @@ const pmPullRequestDevelopers = [ // these people made a PR that got merged, or
         href: `https://github.com/Dogeiscut/`,
     },
     {
-        text: 'BiglyDerv',
-        image: `https://github.com/biglyderv.png`,
-        href: `https://github.com/biglyderv/`,
+        text: 'thekeura',
+        image: `https://github.com/thekeura.png`,
+        href: `https://github.com/thekeura/`,
     }
     // list could be missing some people, but theres not really a way to tell
 ];

Original file line number	Diff line number	Diff line change
`@@ -193,9 +193,9 @@ const pmPullRequestDevelopers = [ // these people made a PR that got merged, or`
`193`	`193`	href: `https://github.com/Dogeiscut/`,
`194`	`194`	`},`
`195`	`195`	`{`
`196`		`- text: 'BiglyDerv',`
`197`		- image: `https://github.com/biglyderv.png`,
`198`		- href: `https://github.com/biglyderv/`,
	`196`	`+ text: 'thekeura',`
	`197`	+ image: `https://github.com/thekeura.png`,
	`198`	+ href: `https://github.com/thekeura/`,
`199`	`199`	`}`
`200`	`200`	`// list could be missing some people, but theres not really a way to tell`
`201`	`201`	`];`