It’s been unclear, for a few months, whether or not Spider-Man: Miles Morales, the cool-looking expansion/not-expansion to 2018’s Spider-Man would be coming to PS4. Well, it’s clear now.
Source: Kotaku – Miles Morales Spider-Man Game Also Coming To PS4