[phpMyAdmin Developers] Build failed in Jenkins: phpMyAdmin-error-reporting-server #145