From 7cf9dd0be89d174e6ab17cd8377648816a642f79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20M=C3=AD=C5=A1ek?= <jmisek@gmail.com>
Date: Wed, 24 Sep 2025 17:03:04 +0200
Subject: [PATCH] add DEVSENSE.phptools-vscode extension

---
 resources/views/ide.blade.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/resources/views/ide.blade.php b/resources/views/ide.blade.php
index f20a38f..5ed91ed 100644
--- a/resources/views/ide.blade.php
+++ b/resources/views/ide.blade.php
@@ -39,6 +39,15 @@
                     </p>
 
                     <div class="space-y-6 mt-6">
+
+                        <x-vs-code-ide-plugin
+                            title="VSCode PHP Tools"
+                            extension="DEVSENSE.phptools-vscode"
+                            logo="https://raw.githubusercontent.com/DEVSENSE/phptools-docs/refs/heads/master/docs/vscode/imgs/phptools-icon.png"
+                            url="https://marketplace.visualstudio.com/items?itemName=DEVSENSE.phptools-vscode"
+                            github="hthttps://github.com/DEVSENSE/phptools-docs">
+                        </x-vs-code-ide-plugin>
+
                         <x-vs-code-ide-plugin
                             title="VSCode PHPUnit TestExplorer"
                             extension="recca0120.vscode-phpunit"