PHPStan v0.12.25 releases: PHP Static Analysis Tool