psalm.xml

<?xml version="1.0"?>
<psalm
    totallyTyped="true"
    autoloader="frontend/server/bootstrap.php"
    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>
       <!-- For PASSWORD_ARGON2ID -->
       <file name="vendor/jetbrains/phpstorm-stubs/standard/password.php" />

       <file name="frontend/server/libs/third_party/stubs/facebook.php" />
       <file name="frontend/server/libs/third_party/stubs/google.php" />
       <file name="frontend/server/libs/third_party/stubs/paragonie_sodium_compat.php" />
       <file name="frontend/server/libs/third_party/stubs/phpunit.php" />
       <file name="frontend/server/libs/third_party/stubs/smarty.php" />
    </stubs>

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

    <issueHandlers>
        <InvalidDocblock>
            <errorLevel type="suppress">
                <file name="frontend/server/libs/third_party/paseto/src/Parsing/PasetoMessage.php" />
            </errorLevel>
        </InvalidDocblock>
    </issueHandlers>
</psalm>