1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00

Merge branch '5.x' into fix-10090

This commit is contained in:
Bruce Weirdan 2023-08-13 06:03:16 +02:00 committed by GitHub
commit 4ca9dccb1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 23 deletions

View File

@ -23,7 +23,6 @@ use LanguageServerProtocol\CodeDescription;
use LanguageServerProtocol\CompletionOptions; use LanguageServerProtocol\CompletionOptions;
use LanguageServerProtocol\Diagnostic; use LanguageServerProtocol\Diagnostic;
use LanguageServerProtocol\DiagnosticSeverity; use LanguageServerProtocol\DiagnosticSeverity;
use LanguageServerProtocol\ExecuteCommandOptions;
use LanguageServerProtocol\InitializeResult; use LanguageServerProtocol\InitializeResult;
use LanguageServerProtocol\InitializeResultServerInfo; use LanguageServerProtocol\InitializeResultServerInfo;
use LanguageServerProtocol\LogMessage; use LanguageServerProtocol\LogMessage;
@ -446,9 +445,6 @@ class LanguageServer extends Dispatcher
$serverCapabilities = new ServerCapabilities(); $serverCapabilities = new ServerCapabilities();
//The server provides execute command support.
$serverCapabilities->executeCommandProvider = new ExecuteCommandOptions(['test']);
$textDocumentSyncOptions = new TextDocumentSyncOptions(); $textDocumentSyncOptions = new TextDocumentSyncOptions();
//Open and close notifications are sent to the server. //Open and close notifications are sent to the server.

View File

@ -455,25 +455,6 @@ class TextDocument
], ],
]), ]),
); );
/*
$fixers["fixAll.{$diagnostic->data->type}"] = new CodeAction(
"FixAll {$diagnostic->data->type} for this file",
CodeActionKind::QUICK_FIX,
null,
null,
null,
null,
new Command(
"Fix All",
"psalm.fixall",
[
'uri' => $textDocument->uri,
'type' => $diagnostic->data->type
]
)
);
*/
} }
if (empty($fixers)) { if (empty($fixers)) {