Another attempt in disabling the redis-extension #431

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

Provide feedback