Add some useful extensions to devcontainer

shish · Dec 14, 2023 · 3980e57 · 3980e57
1 parent e114057
commit 3980e57
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -21,12 +21,15 @@
 		"vscode": {
 			"extensions": [
 				"recca0120.vscode-phpunit",
-				"ryanluker.vscode-coverage-gutters"
+				"ryanluker.vscode-coverage-gutters",
+				"xdebug.php-debug",
+				"DEVSENSE.phptools-vscode",
+				"ms-azuretools.vscode-docker"
 			],
 			"settings": {
 				"phpunit.args": [
-					"--configuration", "${workspaceFolder}/tests/phpunit.xml"//,
-					//"--coverage-clover", "data/coverage.clover"
+					"--configuration", "${workspaceFolder}/tests/phpunit.xml",
+					"--coverage-clover", "data/coverage.clover"
 				],
 				"coverage-gutters.coverageFileNames": [
 					"data/coverage.clover"