[phpMyAdmin Git] [phpmyadmin/phpmyadmin] e26035: Replace `badge` with `stryker` in `infection.json.dist`