Infection and phan update

Updates:

• infection 0.8.2 -> 0.9.0-beta.2
• phan 0.12.11 -> 0.12.12

Infection, phan, psalm update

Updates:

• infection 0.8.1 -> 0.8.2
• phan 0.12.9 -> 0.12.11
• psalm 2.0.0 -> 2.0.2

Stable php-assumptions, phan update

Updates:

• a stable version of php-assumptions
• phan (0.12.8 -> 0.12.9)

Enable phpstan extension installation

• moved tools previously installed with composer-global-install to a new installation method composer-bin-plugin
• moved phpstan to composer-bin-plugin installation method to enable installing phpstan extensions

Add overtrue/phplint and switch more tools to phar installation

New tools:

• phplint - A tool that can speed up linting of php files by running several lint processes at once

Updates:

• phan 0.12.7 -> 0.12.8
• psalm 1.x -> 2.0.0

Changes:

• Switch phpca to phar installation
• Switch phpcf to phar installation
• Switch psalm to a phar installation
• Install bz2 extension as some phars require it (phpca, phpcf)

Phan update

Updates:

• phan (0.12.5 => 0.12.7)

Improvements:

• Nightly builds thanks @ostrolucky
• Rebuild master and alpine daily
• Show the docker hub build status in the readme

Phan update

Updates:

• phan (0.12.2 => 0.12.5)

Testing tools

New tools:

• behat - Helps to test business expectations
• infection - AST based PHP Mutation Testing Framework
• phpspec - SpecBDD Framework
• phpunit - The PHP testing framework

Updates:

• phan (0.12.0 => 0.12.2)

Changes:

• Install tagged versions with box and composer install (if available)
• Allow version configuration for box and composer installs
• Add a command to automatically update phar versions php tools.php update-phars

Summary of changes: v1.6.3...v1.7.0

Phan update

• Update phan 0.11.1 -> 0.12.0

Phan & phpstan update

• Update phan 0.11.0 -> 0.11.1
• Update phpstan 0.9.1 -> 0.9.2