diff --git a/.gitignore b/.gitignore index ae2e1db23e..d0564c137c 100644 --- a/.gitignore +++ b/.gitignore @@ -12,7 +12,6 @@ /build/ /devTools/Docker*.json /infection-cache -/infection.json /infection.log /phpunit.xml /tests/benchmark/*/coverage/ diff --git a/infection.json.dist b/infection.json.dist deleted file mode 100644 index e0d1158ff5..0000000000 --- a/infection.json.dist +++ /dev/null @@ -1,21 +0,0 @@ -{ - "timeout": 25, - "source": { - "directories": [ - "src" - ] - }, - "logs": { - "badge": { - "branch": "master" - } - }, - "mutators": { - "@default": true, - "MethodCallRemoval": { - "ignore": [ - "Infection\\Finder\\SourceFilesFinder::__construct::63" - ] - } - } -}