[Phpmyadmin-git] [phpmyadmin/phpmyadmin] a11189: Include coverage badge