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

[Maurício Meneghini Fauth]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: e260351af93087de8119ad19c80915d0f594434f
https://github.com/phpmyadmin/phpmyadmin/commit/e260351af93087de8119ad19c80915d0f594434f
Author: Maurício Meneghini Fauth <mauricio at fauth.dev>
Date: 2022-01-19 (Wed, 01 January 2022) -03:00

Changed paths: 
M infection.json.dist

Log Message:
-----------
Replace `badge` with `stryker` in `infection.json.dist`

Signed-off-by: Maurício Meneghini Fauth <mauricio at fauth.dev>