Add WSpace as a valid Unicode property alias for White_Space

[lgalfaso]

Description: Add WSpace as a valid Unicode property alias for White_Space
The table of Binary Unicode property aliases defines the aliases for all Unicode properties. In all cases but one, the definition allows the use of the Unicode property long name, and the corresponding Unicode property short name as a valid alias. There is one exception to this with the Unicode property White_Space that defines the alias space.

Unicode property aliases defines the aliases for the property White_Space with the property short name WSpace, and the "Other alias" of space.

To be consistent with the other properties, the short property name WSpace should be added as a valid alias to the property White_Space. The Unicode property alias space should be preserved.

v8 and jsc already support WSpace as a valid property alias for White_Space.

[michaelficarra]

@lgalfaso What is the motivation for this other than purity/consistency? I would rather read /\p{space}/v than /\p{WSpace}/v.

[lgalfaso]

@michaelficarra the reason for this is about expected compatibility. Engines that use some third party library that understands the alias WSpace (eg: v8, jsc) work different than engines than the ones that follow this part of the standard to the letter (eg: QuickJS).

If people rather write /\p{White_Space}/v, /\p{space}/v, or /\p{WSpace}/v, this is something that I do not have an opinion and would let them have this the way that it works best for them.

[mathiasbynens]

OP is right; we somehow forgot to include the WSpace alias.

I too prefer not using aliases but ECMAScript does support them, and this is the only known case where we officially support the property but not all its aliases.