sebastianbergmann/phpunit — pull request #1126 by mattparker (2014-01-31 15:16:14+00:00)
Title: Clarifies documentation around extending TextUI_Command to add CLI options

There's no code change here, it's just the documentation in the comments.