Void should also link to #[\NoDiscard] attribute

[MircoBabin]

Affected page

https://www.php.net/manual/en/language.types.void.php

Current issue

The #[\NoDiscard] is not mentioned.

Suggested improvement

Mention / link to the #[\NoDiscard]

Additional context (optional)

See section (void) cast to suppress the warning of RFC https://wiki.php.net/rfc/marking_return_value_as_important

[DanielEScherzer]

Hmm, the void documented as a type is different from the void in (void) casts, but also the casts seem not to be documented yet - it is still listed on #4886 as not yet done, so when we get to it we should probably update the void type page too