Re: [phpMyAdmin Developers] CI for 4.5 branch