[Phpmyadmin-git] [phpmyadmin/error-reporting-server] 7d35df: Stricter whitelist for coverage

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/error-reporting-server
  Commit: 7d35df821953e5fa72aad7eacb79239185263b0d
      https://github.com/phpmyadmin/error-reporting-server/commit/7d35df821953e5fa72aad7eacb79239185263b0d
  Author: Michal Čihař <michal at 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 at cihar.com>