Version identifier for PS4

[rikki cattermole via Digitalmars-d]

On 10/06/2016 12:30 AM, Johan Engelen wrote:
> Hi all,
>   PR 5850 is proposing to add a predefined (reserved) version identifier
> for the PS4 OS: "PS4" [1].
> Thanks for your comment (preferably with an alternative suggestion in
> case you don't like "PS4").
>
> Thanks,
>   Johan
>
> [1] https://github.com/dlang/dmd/pull/5850

"PS4" is really quite short.

"PlayStation4" would be far better that way it isn't an acronym.