Branch: refs/heads/master Home: https://github.com/phpmyadmin/error-reporting-server Commit: 7d35df821953e5fa72aad7eacb79239185263b0d https://github.com/phpmyadmin/error-reporting-server/commit/7d35df821953e5fa... Author: Michal Čihař michal@cihar.com Date: 2014-07-28 (Mon, 28 Jul 2014)

Changed paths: M phpunit.xml

Log Message: ----------- Stricter whitelist for coverage

Signed-off-by: Michal Čihař michal@cihar.com