From 6c0e3c3b1576b5c0a3102ba85ec24428a6bed901 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 24 Feb 2025 20:17:44 +0100
Subject: [PATCH] Remove @types/eslint__js (#4133)

It is deprecated.
---
 src/platform_impl/web/script/package.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/platform_impl/web/script/package.json b/src/platform_impl/web/script/package.json
index 6f6d2bc6..927b2aec 100644
--- a/src/platform_impl/web/script/package.json
+++ b/src/platform_impl/web/script/package.json
@@ -1,7 +1,6 @@
 {
 	"devDependencies": {
 		"@eslint/js": "^9",
-		"@types/eslint__js": "^8",
 		"eslint": "^9",
 		"typescript": "^5",
 		"typescript-eslint": "^8"