Another attempt in disabling the redis-extension

Author: tvdijen

.github/workflows/reusable_phplinter.yml

@@ -69,7 +69,11 @@ jobs:
           sleep $((random % 10))
           phive install overtrue/phplint@~9.6.0 --force-accept-unsigned --target ./bin
 
-      - name: Lint PHP files
+      - name: Disable redis-extension
         run: |
           mv /etc/php/{{ inputs.php-version }}/conf.d/ext-redis.conf /etc/php/{{ inputs.php-version }}/conf.d/ext-redis.conf.bak
-          php -n ./bin/phplint --no-cache --no-progress -v
+          php -r "var_dump(get_loaded_extensions());"
+
+      - name: Lint PHP files
+        run: |
+          ./bin/phplint --no-cache --no-progress -v