From 134a02610a1c8cce50f9257c30b8273b9f63d4c0 Mon Sep 17 00:00:00 2001
From: Rob Lourens <roblourens@gmail.com>
Date: Sun, 27 Aug 2017 09:38:08 -0700
Subject: [PATCH] Also set documentListener to null after dispose - #19872

---
 extensions/php/src/features/validationProvider.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extensions/php/src/features/validationProvider.ts b/extensions/php/src/features/validationProvider.ts
index a49821d6991..712164af0f9 100644
--- a/extensions/php/src/features/validationProvider.ts
+++ b/extensions/php/src/features/validationProvider.ts
@@ -154,6 +154,7 @@ export default class PHPValidationProvider {
 		}
 		if (this.documentListener) {
 			this.documentListener.dispose();
+			this.documentListener = null;
 		}
 		this.diagnosticCollection.clear();
 		if (this.validationEnabled) {