diff options
Diffstat (limited to 'psalm.xml')
-rw-r--r-- | psalm.xml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/psalm.xml b/psalm.xml deleted file mode 100644 index 45b8231b3..000000000 --- a/psalm.xml +++ /dev/null @@ -1,35 +0,0 @@ -<?xml version="1.0"?> -<psalm - totallyTyped="true" - errorLevel="5" - 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="tests/psalm-baseline.xml" - autoloader="tests/psalm-autoload.php" -> - <projectFiles> - <directory name="lib" /> - <ignoreFiles> - <directory name="vendor" /> - </ignoreFiles> - </projectFiles> - <extraFiles> - <directory name="vendor" /> - <ignoreFiles> - <directory name="vendor/phpunit/php-code-coverage" /> - </ignoreFiles> - </extraFiles> - <issueHandlers> - <UndefinedClass> - <errorLevel type="suppress"> - <referencedClass name="OC" /> - </errorLevel> - </UndefinedClass> - <UndefinedClass> - <errorLevel type="suppress"> - <referencedClass name="OC\Hooks\Emitter" /> - </errorLevel> - </UndefinedClass> - </issueHandlers> -</psalm> |