Add Infection

.github/workflows/build.yml

@@ -46,6 +46,17 @@ jobs:
       - name: Phpunit
         run: vendor/bin/phpunit
 
+      - name: Infection
+        run: vendor/bin/infection
+
+      - uses: actions/upload-artifact@v6
+        with:
+          name: Infection results ${{ matrix.php }}
+          path: infection.html
+
+      - name: cleanup after Infection
+        run: git clean -f
+
       - name: Documentation integrity
         run: |
           # Generate ViewHelper documentation

.gitignore

@@ -5,3 +5,4 @@ composer.lock
 vendor
 examples/cache/
 /Documentation-GENERATED-temp/
+infection.html

composer.json

@@ -13,12 +13,16 @@
         "ext-mbstring": "*"
     },
     "config": {
-        "sort-packages": true
+        "sort-packages": true,
+        "allow-plugins": {
+            "infection/extension-installer": true
+        }
     },
     "require-dev": {
         "ext-json": "*",
         "ext-simplexml": "*",
         "friendsofphp/php-cs-fixer": "^3.59.3",
+        "infection/infection": "^0.31.1",
         "phpstan/phpstan": "^2.1.17",
         "phpstan/phpstan-phpunit": "^2.0.6",
         "phpunit/phpunit": "^11.5.22 || ^12.2.1",

infection.json5

@@ -0,0 +1,20 @@
+{
+    "$schema": "vendor/infection/infection/resources/schema.json",
+    "source": {
+        "directories": [
+            "src"
+        ]
+    },
+    "mutators": {
+        "@default": true,
+        // for now we disable these mutators as they cause too many false positives:
+        "PublicVisibility": false,
+        "ProtectedVisibility": false,
+        "MBString": false,
+    },
+    "threads": "max",
+    "initialTestsPhpOptions": "-d xdebug.mode=coverage",
+    "logs": {
+        "html": "infection.html"
+    }
+}