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