diff options
| author | Devian <devianleong@gmail.com> | 2021-04-22 17:03:46 +0800 |
|---|---|---|
| committer | Devian <devianleong@gmail.com> | 2021-04-22 17:03:46 +0800 |
| commit | 745cf2431a71d0e6c5f08f8605839279b2f7496e (patch) | |
| tree | 11e4c7a19ac9f9efc1bb253b29b1fa488c34238e /vendor/doctrine/common/psalm.xml | |
Initiate commit
Diffstat (limited to 'vendor/doctrine/common/psalm.xml')
| -rw-r--r-- | vendor/doctrine/common/psalm.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/vendor/doctrine/common/psalm.xml b/vendor/doctrine/common/psalm.xml new file mode 100644 index 0000000..f49326f --- /dev/null +++ b/vendor/doctrine/common/psalm.xml @@ -0,0 +1,16 @@ +<?xml version="1.0"?> +<psalm + errorLevel="8" + 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" + phpVersion="8.0" +> + <projectFiles> + <directory name="lib/Doctrine/Common" /> + <ignoreFiles> + <directory name="vendor" /> + </ignoreFiles> + </projectFiles> +</psalm> |