Another attempt in disabling the redis-extension

Author: tvdijen

.github/workflows/reusable_phplinter.yml

@@ -43,7 +43,7 @@ jobs:
           tools: phive
           php-version: ${{ inputs.php-version }}
           coverage: "none"
-          extensions: none
+          extension: :redis
 
       - name: Install overtrue/phplint (v3.4)
         if: inputs.php-version == '7.4'
@@ -69,10 +69,10 @@ jobs:
           sleep $((random % 10))
           phive install overtrue/phplint@~9.6.0 --force-accept-unsigned --target ./bin
 
-      - 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 -r "var_dump(get_loaded_extensions());"
+#      - 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 -r "var_dump(get_loaded_extensions());"
 
       - name: Lint PHP files
         run: |