1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

Merge pull request #7256 from tm1000/feature/remove-is-not-in-project-warnings

This commit is contained in:
Bruce Weirdan 2022-01-02 07:15:20 +02:00 committed by GitHub
commit 047859b4a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -80,7 +80,6 @@ class TextDocument
$file_path = LanguageServer::uriToPath($textDocument->uri);
if (!$this->codebase->config->isInProjectDirs($file_path)) {
$this->server->verboseLog($file_path . ' is not in project');
return;
}
@ -99,7 +98,6 @@ class TextDocument
$file_path = LanguageServer::uriToPath($textDocument->uri);
if (!$this->codebase->config->isInProjectDirs($file_path)) {
$this->server->verboseLog($file_path . ' is not in project');
return;
}
@ -121,7 +119,6 @@ class TextDocument
$file_path = LanguageServer::uriToPath($textDocument->uri);
if (!$this->codebase->config->isInProjectDirs($file_path)) {
$this->server->verboseLog($file_path . ' is not in project');
return;
}