Could we rename to ? StackOverflow uses the latter, shorter form. It would make sense to go with an established standard here, since this is referring to the same thing anyway.


Good catch. Done.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .