[Phpmyadmin-devel] Jenkins build is back to normal : phpMyAdmin-continuous #7883