From 048a64a2144ef3e29354f1df298e80dbc6a408e1 Mon Sep 17 00:00:00 2001
From: Alexey Semenyuk <alexsemenyuk88@gmail.com>
Date: Sat, 19 Jul 2025 16:29:16 +0500
Subject: [PATCH] Remove unused option fir LEVEL_FILTERS_DEFAULT

---
 util/gh-pages/script.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index cfc5fb7b27ca..d32049675319 100644
--- a/util/gh-pages/script.js
+++ b/util/gh-pages/script.js
@@ -208,7 +208,6 @@ const LEVEL_FILTERS_DEFAULT = {
     allow: true,
     warn: true,
     deny: true,
-    none: true,
 };
 const APPLICABILITIES_FILTER_DEFAULT = {
     Unspecified: true,