river-raid-php/psalm.xml.dist at main · river-raid/river-raid-php · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
<?xml version="1.0"?>
<psalm
    errorLevel="1"
    findUnusedBaselineEntry="true"
    findUnusedCode="true"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns="https://getpsalm.org/schema/config"
    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
>
    <projectFiles>
        <directory name="bin" />
        <directory name="src" />
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>
    <issueHandlers>
        <InvalidArgument>
            <errorLevel type="suppress">
                <file name="src/Data/Provider/Binary.php"/>
                <file name="src/Image.php"/>
            </errorLevel>
        </InvalidArgument>
        <PossiblyUndefinedArrayOffset>
            <errorLevel type="suppress">
                <file name="src/Data/Provider/Binary.php"/>
            </errorLevel>
        </PossiblyUndefinedArrayOffset>
        <PropertyTypeCoercion>
            <errorLevel type="suppress">
                <file name="src/Platform/Color.php"/>
            </errorLevel>
        </PropertyTypeCoercion>
    </issueHandlers>
</psalm>