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>