[phpMyAdmin Developers] Jenkins build is back to stable : phpMyAdmin-continuous #10375