diff --git a/dev-tools/phpstan/console-application.php b/dev-tools/phpstan/console-application.php new file mode 100644 index 00000000000..4fe58ac45f2 --- /dev/null +++ b/dev-tools/phpstan/console-application.php @@ -0,0 +1,7 @@ +