diff --git a/src/vs/server/@types/code-server-lib/index.d.ts b/src/vs/server/@types/code-server-lib/index.d.ts
index 1518d5c2fb607..787b1ba486283 100644
--- a/src/vs/server/@types/code-server-lib/index.d.ts
+++ b/src/vs/server/@types/code-server-lib/index.d.ts
@@ -83,8 +83,6 @@ declare global {
 			'builtin-extensions-dir'?: string;
 
 			// web
-			workspace: string;
-			folder: string;
 			'web-user-data-dir'?: string;
 			'enable-sync'?: boolean;
 			'github-auth'?: string;