From aa6b7293361dc25afeb242d298738fd7653f7b5a Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Tue, 6 Sep 2016 13:00:23 +0200 Subject: [PATCH] Remove unneeded files --- src/Protocol/PublishDiagnosticParams.php | 24 ----------------- .../PublishDiagnosticsNotification.php | 26 ------------------- src/Protocol/PublishDiagnosticsParams.php | 22 ---------------- 3 files changed, 72 deletions(-) delete mode 100644 src/Protocol/PublishDiagnosticParams.php delete mode 100644 src/Protocol/PublishDiagnosticsNotification.php delete mode 100644 src/Protocol/PublishDiagnosticsParams.php diff --git a/src/Protocol/PublishDiagnosticParams.php b/src/Protocol/PublishDiagnosticParams.php deleted file mode 100644 index c1180c7..0000000 --- a/src/Protocol/PublishDiagnosticParams.php +++ /dev/null @@ -1,24 +0,0 @@ -method = 'textDocument/publishDiagnostics'; - $this->params = $params; - } -} diff --git a/src/Protocol/PublishDiagnosticsParams.php b/src/Protocol/PublishDiagnosticsParams.php deleted file mode 100644 index 1081187..0000000 --- a/src/Protocol/PublishDiagnosticsParams.php +++ /dev/null @@ -1,22 +0,0 @@ -