diff options
Diffstat (limited to 'vendor/doctrine/persistence/psalm.xml')
| -rw-r--r-- | vendor/doctrine/persistence/psalm.xml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/vendor/doctrine/persistence/psalm.xml b/vendor/doctrine/persistence/psalm.xml new file mode 100644 index 0000000..d92c344 --- /dev/null +++ b/vendor/doctrine/persistence/psalm.xml @@ -0,0 +1,24 @@ +<?xml version="1.0"?> +<psalm + totallyTyped="false" + 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" +> + <projectFiles> + <directory name="lib/Doctrine/Persistence" /> + <ignoreFiles> + <directory name="vendor" /> + </ignoreFiles> + </projectFiles> + <issueHandlers> + <RedundantCondition> + <errorLevel type="suppress"> + <!-- see https://github.com/JetBrains/phpstorm-stubs/pull/877 --> + <file name="lib/Doctrine/Persistence/Reflection/TypedNoDefaultReflectionProperty.php"/> + </errorLevel> + </RedundantCondition> + </issueHandlers> +</psalm> |