psalm.xml

<?xml version="1.0"?>
<psalm
    name="SimpleSAMLphp metarefresh module"
    useDocblockTypes="true"
    errorLevel="2"
    reportMixedIssues="false"
>
    <projectFiles>
        <directory name="config-templates" />
        <directory name="hooks" />
        <directory name="src" />
        <directory name="templates" />
    </projectFiles>

    <issueHandlers>
        <LessSpecificReturnType errorLevel="info" />

        <!-- level 3 issues - slightly lazy code writing, but probably low false-negatives -->
        <DeprecatedMethod errorLevel="info" />

        <MissingClosureReturnType errorLevel="info" />
        <MissingReturnType errorLevel="info" />
        <MissingPropertyType errorLevel="info" />
        <InvalidDocblock errorLevel="info" />

        <PropertyNotSetInConstructor errorLevel="info" />
        <MissingConstructor errorLevel="info" />
        <MissingClosureParamType errorLevel="info" />
        <MissingParamType errorLevel="info" />
        <UnusedClass errorLevel="info" />
        <PossiblyUnusedMethod errorLevel="info" />


        <!-- Ignore UnresolvableInclude -->
        <UnresolvableInclude>
            <errorLevel type="suppress">
                <file name="src/ARP.php" />
                <file name="src/MetaLoader.php" />
                <file name="tests/bootstrap.php" />
            </errorLevel>
        </UnresolvableInclude>
    </issueHandlers>
</psalm>