[phpMyAdmin Developers] Jenkins build is back to normal : website #495