wp-cli/wp-cli — pull request #1380 by danielbachhuber (2014-09-07 22:12:53+00:00)
Title: Switch php-cli-tools to latest release in preparation for 0.17.0

See https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.0

Previously #1313