psalm.xml

<?xml version="1.0"?>
<psalm errorLevel="4" 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" findUnusedBaselineEntry="true" phpVersion="8.1" autoloader="psalm.bootstrap.php" findUnusedCode="false" errorBaseline="psalm-baseline.xml">
  <fileExtensions>
    <extension name=".php" />
    <extension name=".in" />
  </fileExtensions>
  <stubs>
    <file name="psalm.constants.php" />
    <file name="psalm.attributes.php" />
  </stubs>
  <projectFiles>
    <file name="index.php" />
    <directory name="admin" />
    <directory name="inc" />
    <directory name="src" />
    <directory name="plugins" />
    <directory name="themes/berlin" />
    <directory name="themes/blowup" />
    <directory name="themes/blueSilence" />
    <directory name="themes/customCSS" />
    <directory name="themes/ductile" />
    <ignoreFiles>
      <file name="inc/config.php" />
    </ignoreFiles>
  </projectFiles>

  <!-- Filters -->

  <issueHandlers>
    <InvalidScope>
      <errorLevel type="suppress">
        <file name="plugins/*/_define.php" />
        <file name="themes/*/_define.php" />
      </errorLevel>
    </InvalidScope>
    <NoInterfaceProperties>
      <errorLevel type="suppress">
        <referencedClass name="Dotclear\Interface\Core\BlogSettingsInterface" />
        <referencedClass name="Dotclear\Interface\Core\BlogWorkspaceInterface" />
        <referencedClass name="Dotclear\Interface\Core\UserPreferencesInterface" />
        <referencedClass name="Dotclear\Interface\Core\UserWorkspaceInterface" />
      </errorLevel>
    </NoInterfaceProperties>
    <UndefinedPropertyAssignment>
      <errorLevel type="suppress">
        <referencedProperty name="Dotclear\Helper\File\File::$editable" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_id" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_title" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_meta" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_user" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_priv" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_dt" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_dtstr" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_image" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_preview" />
        <referencedProperty name="Dotclear\Database\MetaRecord::$_nb_media" />
      </errorLevel>
    </UndefinedPropertyAssignment>
    <UndefinedPropertyFetch>
      <errorLevel type="suppress">
        <referencedProperty name="Dotclear\Helper\File\File::$media_title" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_id" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_icon" />
        <referencedProperty name="Dotclear\Helper\File\File::$media_dtstr" />
      </errorLevel>
    </UndefinedPropertyFetch>
  </issueHandlers>
</psalm>