sjparkinson/static-review — pull request #17 by keradus (2014-08-22 13:54:32+00:00)
Title: rename phpunit.xml to phpunit.xml.dist

Rename phpunit.xml to phpunit.xml.dist.

Then one could locally create `phpunit.xml` file with modified content, e.g. without coverage report.