Upgrade to PHP_CodeCoverage 1.2.12
Prepare release
Sync with https://github.com/sebastianbergmann/php-code-coverage/commit/fdba408447008204763fcf5beafdb0106af1f593
Initial work on #914
Fix issue reported as part of #958
Merge branch '3.7'
Leftover from bd45d5cf37cc44d4845a414d6aded3fccebba2cf
Upgrade to PHP_TokenStream 1.1.6
Merge branch '3.7'
Upgrade to PHP_TokenStream 1.1.7
Merge branch '3.7'
Fix travis failures.
Revert "Update PHP_Timer usage"

This reverts commit 1739c6bf3fe709716ce90bdef0ea19ddea5ad857.
Update PHP_Timer dependency
Upgrade to PHP_Timer 1.0.5
Upgrade to PHP_TokenStream 1.1.8
Prepare release
Cleanup
Implement --coverage-xml option to generate code coverage report in PHPUnit's own XML format
Leftover from c3898aa0fd8723e3a60e8252e187f21ae78bf748