owncloud/core — pull request #3872 by bantu (2013-06-27 14:52:31+00:00)
Title: Use phpunit.xml.dist instead of phpunit.xml ...

... in order to allow developers to have their own phpunit configuration file allowing them to add their own listeners and setting their own options (e.g. color on console) etc.

References:
http://phpunit.de/manual/3.7/en/textui.html