Another attempt in disabling the redis-extension

Author: tvdijen

.github/workflows/php.yml

@@ -20,7 +20,7 @@ jobs:
       matrix:
         php-version: ['8.2', '8.3', '8.4', '8.5']
 
-    uses: simplesamlphp/simplesamlphp-test-framework/.github/workflows/reusable_phplinter.yml@v1.10.5
+    uses: simplesamlphp/simplesamlphp-test-framework/.github/workflows/reusable_phplinter.yml@dev-master
     with:
       php-version: ${{ matrix.php-version }}