Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: e260351af93087de8119ad19c80915d0f594434f https://github.com/phpmyadmin/phpmyadmin/commit/e260351af93087de8119ad19c80… Author: Maurício Meneghini Fauth <mauricio(a)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(a)fauth.dev>