[phpMyAdmin Developers] Jenkins build is back to normal : phpMyAdmin-error-reporting-server #146