[Phpmyadmin-devel] Jenkins build became unstable: phpMyAdmin-continuous #1319