Replace phpstan with php script to load phpstan.phar #4389
Description
Feature request
Files phpstan and phpstan.phar are the same, git can deduplicate then, but saving them requires 2x ~20 MB which requires unneeded disk space and iops.
{{ message }}