Allow shortName in w3c.json? about w3c.github.io HOT 5 OPEN

@plehegar who would be the right person to fix/review this?

from w3c.github.io.

so, we used to recommend it but we never used it. Consequently, a lot of the w3c.json still have them. Unless we do find an actual use for them, I wouldn't document them. Or at most, I put that under "unused". If you do decide to use them, then I agree we should document them properly.

from w3c.github.io.

I just noticed because I tried writing a schema for w3c.json and validating against it. I don't want to use the properties myself, but it would be a bit of work to remove them from all of those files.

from w3c.github.io.

we never meant to be restrictive in the w3c.json, just require a minimum instead. Not sure what schema language you're using but hopefully there is a way to express that it is extensible.

from w3c.github.io.

I'm using vanilla JSON schema, so I'll just not use the additionalProperties: false bit, which is what I added to notice this.

from w3c.github.io.