Another attempt in disabling extensions #430

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

Provide feedback