[phpMyAdmin Developers] Build failed in Jenkins: phpMyAdmin-4.8 #1301