addwiki/psalm.xml at main · addshore/addwiki · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
<?xml version="1.0"?>
<psalm
    errorLevel="7"
    resolveFromConfigFile="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="packages/mediawiki-api-base/src" />
        <directory name="packages/mediawiki-api/src" />
        <directory name="packages/mediawiki-datamodel/src" />
        <directory name="packages/mediawiki-sitematrix-api/src" />
        <directory name="packages/wikibase-api/src" />
        <directory name="packages/wikibase-query/src" />
        <directory name="packages/wikibase-datamodel/src" />
        <directory name="packages/wikimedia/src" />
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>
</psalm>