Merge pull request #672 from wp-cli/update/php-cli-tools #390

Job	Run time
Build Phar	42s
Functional - WP latest on PHP 7.2 with MySQL 8.0	4m 45s
Functional - WP latest on PHP 7.3 with MySQL 8.0	4m 41s
Functional - WP latest on PHP 7.4 with MySQL 8.0	4m 38s
Functional - WP latest on PHP 8.0 with MySQL 8.0	4m 37s
Functional - WP trunk on PHP 7.2 with MySQL 8.0	4m 42s
Functional - WP trunk on PHP 7.2 with MySQL 5.7	4m 58s
Functional - WP trunk on PHP 7.2 with MySQL 5.6	4m 43s
Functional - WP trunk on PHP 7.4 with MySQL 8.0	4m 43s
Functional - WP trunk on PHP 8.0 with MySQL 8.0	5m 10s
Functional - WP trunk on PHP 8.0 with MySQL 5.7	4m 49s
Functional - WP trunk on PHP 8.0 with MySQL 5.6	4m 48s
Functional - WP 3.7 on PHP 5.6 with MySQL 5.6	5m 19s
Deployment	10s
Build RPM package	0s
Build DEB package	0s
	58m 45s

Provide feedback