Refs #1408: Skip message improvements.
Merge branch '4.3'
Merge branch 'master' of git://github.com/sebastianbergmann/phpunit