devcontainer schema: handle deprecated properties (#156425)

2026-04-25 11:08:51 +01:00 · 2022-07-27 20:27:47 +02:00
parent 93340ffab9
commit 857412ab10
2 changed files with 30 additions and 0 deletions
--- a/extensions/configuration-editing/schemas/devContainer.codespaces.schema.json
+++ b/extensions/configuration-editing/schemas/devContainer.codespaces.schema.json
@@ -177,6 +177,13 @@
 					}
 				}
 			}
+		},
+		"codespaces": {
+			"type": "object",
+			"additionalProperties": true,
+			"description": "Codespaces-specific configuration.",
+			"deprecated": true,
+			"deprecationMessage": "Use 'customizations/codespaces' instead"
 		}
 	}
 }