diff --git a/src/Server/Workspace.php b/src/Server/Workspace.php index 4d36c0c..d2f8cec 100644 --- a/src/Server/Workspace.php +++ b/src/Server/Workspace.php @@ -103,7 +103,8 @@ class Workspace * @param FileEvent[] $changes * @return void */ - public function didChangeWatchedFiles(array $changes) : void { + public function didChangeWatchedFiles(array $changes) + { foreach ($changes as $change) { if ($change->type === FileChangeType::DELETED) { $this->client->textDocument->publishDiagnostics($change->uri, []);