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 .