From 76a44b0b54b55657a071e87ece46d0ae5fb8499f Mon Sep 17 00:00:00 2001 From: Jan Keromnes Date: Wed, 17 Feb 2021 16:52:18 +0100 Subject: [PATCH] [docs] Suggest helpful VSCode extensions for PHP / Symfony developers --- src/docs/languages/php.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/docs/languages/php.md b/src/docs/languages/php.md index d8c31456c..67cb37a1c 100644 --- a/src/docs/languages/php.md +++ b/src/docs/languages/php.md @@ -15,6 +15,11 @@ Gitpod supports PHP right out of the box, but more advanced features such as deb +## VSCode Extensions + +- Symfony for VSCode (by TheNouillet) +- Symfony code snippets (by Nadim Al Abdou) + ## Debugging PHP in Gitpod ![PHP debugging example](../images/phpDebug.gif)