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"
-          extension: :redis
+          extensions: :redis
 
       - name: Install overtrue/phplint (v3.4)
         if: inputs.php-version == '7.4'