danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 12:55:26 +01:00
Code Issues Projects Releases Wiki Activity

bump to 5.7.7

Browse Source
This commit is contained in:
Andrew Nagy 2023-03-02 17:05:12 +00:00
parent 6e109aadce
commit 2efd9c81e0
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Psalm/Internal/LanguageServer/ClientConfiguration.php
View File

@ -50,7 +50,7 @@ class ClientConfiguration
/**
* Provide Signature Help or not
*/
public ?bool $provideSignatureHelp= null;
public ?bool $provideSignatureHelp = null;
/**
* Provide Code Actions or not

7
src/Psalm/Internal/LanguageServer/Server/TextDocument.php
View File

@ -430,6 +430,9 @@ class TextDocument
/** @var array{type: string, snippet: string, line_from: int, line_to: int} */
$data = (array)$diagnostic->data;
//$file_path = LanguageServer::uriToPath($textDocument->uri);
//$contents = $this->codebase->file_provider->getContents($file_path);
$snippetRange = new Range(
new Position($data['line_from']-1),
new Position($data['line_to']),
@ -451,9 +454,7 @@ class TextDocument
$textDocument->uri => [
new TextEdit(
$snippetRange,
"{$indentation}/**\n".
"{$indentation} * @psalm-suppress {$data['type']}\n".
"{$indentation} */\n".
"{$indentation}/** @psalm-suppress {$data['type']} */\n".
"{$data['snippet']}\n",
),
],