[phpMyAdmin Git] [phpmyadmin/sql-parser] 43fb5b: Replace `badge` with `stryker` in `infection.json.dist`