PHPStan v0.12.2 releases: PHP Static Analysis Tool