[Bug] Discord ID field for users is uneditable

[Pomi108]

What happened?

Title. No cursor is shown, and you can't delete, replace or add any characters.

To reproduce

1. Go to the Users tab
2. Search for an existing user and edit their profile
3. Click on the Discord ID field
4. It gets selected, but you can't actually make any edits.

Screenshot(s)

No response

Browser name and version

Firefox 120.0

Logs

No response

Notes

No response

[3vorp]

this is really annoying because discord ids are used as the way to store user information everywhere (since for most users it never changes), meaning you have to update basically everything (contributions, add-ons, etc) if changing an id

also, since discord ids are used as property keys in the actual users.json file, you'd basically have to delete the user and readd them if you're changing their discord id, which means that everything has to be copied over

[TheRolfFR]

Field works as inteded

This data should not be modified anytime.
Not a bug, it's an intended feature..

[3vorp]

completely forgot about this issue, I forgot I made an API endpoint for this a long time ago which we could use making this possible