Merge pull request #18662 from kamil-tekiela/RedundantCastGivenDocblockType
[phpmyadmin.git] / infection.json5.dist
blobeedf933bc23df8aaed17ae4284e00a580cca2896
2     "source": {
3         "directories": [
4             "libraries\/classes"
5         ]
6     },
7     "logs": {
8         "text": "build/logs/infection.log",
9         "stryker": {
10             "report": "master"
11         }
12     },
13     "mutators": {
14         "@default": true
15     },
16     "minMsi": 29,
17     "minCoveredMsi": 51