[phpMyAdmin Developers] Build failed in Jenkins: phpMyAdmin-continuous #14085