From 8d0085310ae2f72f00289ea0a46e2be4fbf512d1 Mon Sep 17 00:00:00 2001 From: William Desportes Date: Sat, 2 May 2020 01:21:12 +0200 Subject: [PATCH] Rename test/bootstrap-phpstan.php to test/bootstrap-static.php Signed-off-by: William Desportes --- phpstan.neon.dist | 2 +- psalm.xml | 2 +- test/{bootstrap-phpstan.php => bootstrap-static.php} | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) rename test/{bootstrap-phpstan.php => bootstrap-static.php} (97%) diff --git a/phpstan.neon.dist b/phpstan.neon.dist index 490d8874a5..2ba626439d 100644 --- a/phpstan.neon.dist +++ b/phpstan.neon.dist @@ -4,7 +4,7 @@ parameters: level: max paths: - . - bootstrap: test/bootstrap-phpstan.php + bootstrap: test/bootstrap-static.php reportUnmatchedIgnoredErrors: true inferPrivatePropertyTypeFromConstructor: true checkMissingIterableValueType: false diff --git a/psalm.xml b/psalm.xml index 4b7b230ce5..10c444f18c 100644 --- a/psalm.xml +++ b/psalm.xml @@ -1,6 +1,6 @@