-
Notifications
You must be signed in to change notification settings - Fork 4.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use id
instead of ident
for identifier member names in JSON
#39332
Conversation
I'm fine with fixing this inconsistency, but we need to accept ident for these for a little while at least to give mods the chance to catch up, shouldn't be too hard? |
Yeah, it is pretty easy. Both |
Suggest it be
Seems like a good idea. Would probably have to be a (I'm starting to wonder whether we need to have a global option for mod developers to turn on more warnings that regular players shouldn't be concerned with). |
Temporary closing this one. I will need to change some other things in generic_factory first. |
6d8bc9e
to
09c9c57
Compare
id
instead of ident
for identifier member names in JSON
Test failure.
|
Should be fixed now. |
Leave temporary support for `ident`. Marked with: // TEMPORARY until 0.G: Remove "ident" support
Summary
SUMMARY: None
Purpose of change
Fix inconsistencies in identifier member names in JSON.
Describe the solution
Use
id
instead ofident
for identifier member names in JSON while keeping temporary support for legacyident
member name.