From 6884feb00468e33d91402743f946b8d96b905104 Mon Sep 17 00:00:00 2001
From: hackademix <giorgio@maone.net>
Date: Thu, 17 Feb 2022 21:43:54 +0100
Subject: [PATCH] Remove dns permission for Chromium, since the asynchronous
 API is useless in synchronous webRequest.

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index f09b4c5..5c2d9b1 100644
--- a/build.sh
+++ b/build.sh
@@ -180,8 +180,8 @@ fi
   grep -A2000 '"version":' "$MANIFEST_OUT") | \
   # auto-update URL for the Edge version on the Microsoft Store
   sed -e '/"name":/a\' -e '  "update_url": "'$EDGE_UPDATE_URL'",' | \
-  # skip embeddingDocument.js
-  grep -v 'content/embeddingDocument.js' | \
+  # skip embeddingDocument.js and dns permission
+  grep -Pv 'content/embeddingDocument.js|"dns",' | \
   # add "debugger" permission for patchWorkers.js
   sed -re 's/( *)"webRequestBlocking",/&\n\1'"$EXTRA_PERMS"'/' | \
   # add origin fallback for content scripts