Server-site navigator protection did not respect whitelisting

Should fix #362

lib/navigator.js

@@ -14,6 +14,7 @@
 	
 	const settings = require("./settings");
 	const logging = require("./logging");
+	const check = require("./check");
 	
 	scope.allProperties = [
 		"appCodeName", "appName",
@@ -67,8 +68,10 @@
 	};
 	
 	function changeHTTPHeader(details){
+		const url = new URL(details.url);
 		if (
-			settings.protectNavigator &&
+			settings.get("protectNavigator", url) &&
+			check.check({url}).mode !== "allow" &&
 			(
 				!settings.protectedAPIFeatures.hasOwnProperty("userAgent") ||
 				settings.protectedAPIFeatures.userAgent

manifest.json

@@ -18,6 +18,8 @@
 			"lib/settings.js",
 			"lib/lists.js",
 			"lib/persistentRndStorage.js",
+			"lib/callingStack.js",
+			"lib/check.js",
 			"lib/dataUrls.js",
 			"lib/notification.js",
 			"lib/navigator.js",

releaseNotes.txt

@@ -13,6 +13,7 @@ Version 0.5.10:
 		- detection over document.write and document.writeln was possible
 		- google docs were broken in Waterfox
 		- MutationObserver failed in some instances
+		- server-site navigator protection did not respect whitelisting
 	
 	known issues:
 		- if a data URL is blocked the page action button does not appear