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
 
 </div>
 
+## VSCode Extensions
+
+- Symfony for VSCode (by TheNouillet)
+- Symfony code snippets (by Nadim Al Abdou)
+
 ## Debugging PHP in Gitpod
 
 ![PHP debugging example](../images/phpDebug.gif)