Rename json key #46
Description
The current JSON format uses the key "initial". This is a poor name. Initial what?
In the srcAttributor, the attribute for this is "decl". That is a better name.
{{ message }}
The current JSON format uses the key "initial". This is a poor name. Initial what?
In the srcAttributor, the attribute for this is "decl". That is a better name.