Another attempt in disabling extensions

Author: tvdijen

.github/workflows/reusable_phplinter.yml

@@ -71,4 +71,4 @@ jobs:
 
       - name: Lint PHP files
         run: |
-          ./bin/phplint --no-cache --no-progress -v
+          php -n ./bin/phplint --no-cache --no-progress -v