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

28 Jul 2014

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

  Changed paths:
    M phpunit.xml

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

Signed-off-by: Michal Čihař &lt;michal(a)cihar.com&gt;