[Phpmyadmin-git] [phpmyadmin/website] 2dd33c: Add coverage tool