Re: [phpMyAdmin Developers] Travis CI build failed [HELP needed]