25 Feb
2023
25 Feb
'23
5:18 p.m.
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/