[phpMyAdmin Developers] Jenkins build is back to normal : documentation #323

Back to the list