psalm.xml

<?xml version="1.0"?>
<psalm
    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"
    xmlns:xi="http://www.w3.org/2001/XInclude"
    errorLevel="2"
    cacheDirectory=".psalm.cache"
    reportMixedIssues="false"
    resolveFromConfigFile="true"
    disableSuppressAll="true"
>
    <projectFiles>
        <directory name="src" />
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>

    <issueHandlers>
        <!-- Not every property is set in the constructors. Many of them
            (Commands...) do get them initialised by different methods) -->
        <PropertyNotSetInConstructor errorLevel="suppress" />
        <RedundantPropertyInitializationCheck errorLevel="suppress" />
        <MissingConstructor errorLevel="info" />

        <UndefinedClass>
            <errorLevel type="suppress">
                <!-- It is defined in Moodle itself or included by the commands -->
                <referencedClass name="core_component" />
                <!-- This is using abandoned humbug/phar-updater component, that we
                    are not loading at the moment, hence, completely ignore all
                    UndefinedClass errors there. TODO: Consider to move to
                    laravel-zero/phar-updater that is a maintained fork, using a version
                    compatible with us (PHP 7.4 and up right now). In any case
                    this is very low priority. -->
                <referencedClass name="Humbug\SelfUpdate\Strategy\GithubStrategy" />
                <referencedClass name="Humbug\SelfUpdate\Updater" />
            </errorLevel>
        </UndefinedClass>
    </issueHandlers>
</psalm>