Disable the redis-extension

Author: tvdijen

.github/workflows/reusable_phplinter.yml

@@ -43,6 +43,7 @@ jobs:
           tools: phive
           php-version: ${{ inputs.php-version }}
           coverage: "none"
+          extensions: none
 
       - name: Install overtrue/phplint (v3.4)
         if: inputs.php-version == '7.4'
@@ -68,6 +69,11 @@ 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: Lint PHP files
         run: |
           ./bin/phplint --no-cache --no-progress -v