src/Server/Workspace.php
public function didChangeWatchedFiles(array $changes)
    {
        foreach ($changes as $change) {
            if ($change->type === FileChangeType::DELETED) {
                $this->client->textDocument->publishDiagnostics($change->uri, []);
            }
        }
    }
public function didChangeWatchedFiles(array $changes)
    {
        foreach ($changes as $change) {
            if ($change->type === FileChangeType::DELETED) {
                $this->client->textDocument->publishDiagnostics($change->uri, []);
            }
        }
    }
public function didChangeWatchedFiles ( array $ changes ) { foreach ( $ changes as $ change ) { if ( $ change -> type === FileChangeType :: DELETED ) { $ this -> client -> textDocument -> publishDiagnostics ( $ change -> uri , [ ] ) ; } } }
The watched files notification is sent from the client to the server when the client detects changes to files watched by the language client.

@param FileEvent[] $changes
@return void
The watched files notification is sent from the client to the server when the client detects changes to files watched by the language client .