yan12125 [1] filed a request to merge php-stan [2] into phpstan [3]: phpstan appears the official name. It appears as the domain name, the logo, the github repo name, the executable name, ... And I find only few mentions about "php-stan" on Google.
[1] https://aur.archlinux.org/account/yan12125/ [2] https://aur.archlinux.org/pkgbase/php-stan/ [3] https://aur.archlinux.org/pkgbase/phpstan/
