[Phpmyadmin-devel] Jenkins build is back to normal : phpMyAdmin-website #293