Another attempt in disabling the redis-extension

Author: tvdijen

.github/workflows/reusable_phplinter.yml

@@ -71,4 +71,5 @@ jobs:
 
       - name: Lint PHP files
         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