psalm.xml

<?xml version="1.0"?>
<psalm
    errorLevel="1"
    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"
    errorBaseline="psalm-baseline.xml"
>
    <projectFiles>
        <directory name="includes" />
        <ignoreFiles>
            <file name="includes/SpecialVerifiedExport.php" />
            <file name="includes/SpecialVerifiedImport.php" />
            <file name="includes/VerifiedWikiImporter.php" />
        </ignoreFiles>
    </projectFiles>
	<extraFiles>
		<directory name="../../includes" />
		<directory name="../../vendor/wikimedia" />
	</extraFiles>
	<issueHandlers>
		<MissingPropertyType errorLevel="suppress" />
		<MissingClosureReturnType errorLevel="suppress" />
		<UndefinedConstant errorLevel="suppress" />
	</issueHandlers>
</psalm>