From 3980e57daad641bca0684f5a302c8cd624664e24 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 14 Dec 2023 02:07:36 +0000
Subject: [PATCH] Add some useful extensions to devcontainer

---
 .devcontainer/devcontainer.json | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 4a0f654d7..4f6b9d449 100644
--- 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"