summaryrefslogtreecommitdiff
path: root/vendor/phpunit/php-timer/.psalm
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/phpunit/php-timer/.psalm')
-rw-r--r--vendor/phpunit/php-timer/.psalm/baseline.xml2
-rw-r--r--vendor/phpunit/php-timer/.psalm/config.xml16
2 files changed, 0 insertions, 18 deletions
diff --git a/vendor/phpunit/php-timer/.psalm/baseline.xml b/vendor/phpunit/php-timer/.psalm/baseline.xml
deleted file mode 100644
index 77e688e07..000000000
--- a/vendor/phpunit/php-timer/.psalm/baseline.xml
+++ /dev/null
@@ -1,2 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<files psalm-version="4.0.1@b1e2e30026936ef8d5bf6a354d1c3959b6231f44"/>
diff --git a/vendor/phpunit/php-timer/.psalm/config.xml b/vendor/phpunit/php-timer/.psalm/config.xml
deleted file mode 100644
index 15abef058..000000000
--- a/vendor/phpunit/php-timer/.psalm/config.xml
+++ /dev/null
@@ -1,16 +0,0 @@
-<?xml version="1.0"?>
-<psalm
- 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"
- resolveFromConfigFile="false"
- totallyTyped="true"
- errorBaseline=".psalm/baseline.xml"
->
- <projectFiles>
- <directory name="src" />
- <ignoreFiles>
- <directory name="vendor" />
- </ignoreFiles>
- </projectFiles>
-</psalm>