Re: [Phpmyadmin-devel] Coverage reports on coveralls.io