Another attempt in disabling the redis-extension #436

Job	Run time
PHP-Linter (8.2) / linter	14s
PHP-Linter (8.3) / linter	11s
PHP-Linter (8.4) / linter	13s
PHP-Linter (8.5) / linter	11s
Linter / json-linter	31s
Linter / yaml-linter	6s
Linter / style-linter	-1s
Linter / ecmascript-linter	-1s
Quality control	0s
Unit tests, PHP ${{ matrix.php-versions }}, ${{ matrix.operating-system }}	0s
Security checks	0s
Unit tests, PHP ${{ matrix.php-versions }}, ${{ matrix.operating-system }}	0s
Code coverage	-1s
Cleanup artifacts	-1s
	1m 22s

Provide feedback