psalm.xml

<?xml version="1.0"?>
<psalm
    autoloader="frontend/server/bootstrap.php"
    cacheDirectory="./.psalm"
    hoistConstants="true"
    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="frontend" />
        <ignoreFiles>
            <directory name="vendor" />
            <directory name="frontend/server/libs/third_party" />
            <directory name="frontend/www/docs" />
            <directory name="frontend/www/karel.js" />
            <directory name="frontend/www/phpminiadmin" />
            <directory name="frontend/www/preguntas" />
            <directory name="frontend/www/third_party" />

            <!-- These need a bit more work to be compliant -->
            <directory name="frontend/tests/controllers" />
            <directory name="frontend/tests/badges" />
        </ignoreFiles>
    </projectFiles>

    <stubs>
       <file name="frontend/server/stubs.php" />
    </stubs>

    <plugins>
        <plugin filename="frontend/server/src/Psalm/RequestParamChecker.php" />
        <plugin filename="frontend/server/src/Psalm/TranslationStringChecker.php" />
    </plugins>

    <globals>
        <var name="_FILES" type="array&lt;string, array{tmp_name?: string}&gt;" />
        <var name="_COOKIE" type="array&lt;string, string&gt;" />
    </globals>
</psalm>