Version identifier for PS4

[Walter Bright via Digitalmars-d]

On 6/9/2016 5: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

As others suggested, me kinda prefer "PlayStation4" as there's little doubt what 
that refers to.