Merge branch 'dev' into prod #62

Job	Run time
runs-on (ubuntu-latest) / phan	49s
runs-on (ubuntu-latest) / psalm	43s
runs-on (ubuntu-latest) / phpstan	26s
runs-on (ubuntu-latest) / phpunit-infection	58s
runs-on (ubuntu-latest) / phpmd	19s
runs-on (ubuntu-latest) / phpcs	19s
runs-on (ubuntu-latest) / php-cs-fixer	33s
runs-on (ubuntu-latest) / pint	20s
runs-on (windows-latest) / phpunit-infection	2m 10s
runs-on (windows-latest) / phpstan	1m 20s
runs-on (windows-latest) / psalm	1m 25s
runs-on (windows-latest) / pint	1m 3s
runs-on (windows-latest) / php-cs-fixer	1m 15s
runs-on (windows-latest) / phpcs	1m 8s
runs-on (macos-latest) / psalm	1m 28s
runs-on (windows-latest) / phan	2m 5s
runs-on (macos-latest) / phpmd	1m 39s
runs-on (windows-latest) / phpmd	1m 4s
runs-on (macos-latest) / phan	1m 14s
runs-on (macos-latest) / phpunit-infection	2m 41s
runs-on (macos-latest) / phpcs	1m 24s
runs-on (macos-latest) / php-cs-fixer	1m 26s
runs-on (macos-latest) / phpstan	1m 17s
runs-on (macos-latest) / pint	1m 24s
	28m 30s

Provide feedback