Issue 4783 - Drop Safari support [adblockplusui]

new-options.js

Index: new-options.js
diff --git a/new-options.js b/new-options.js
index e0f145668bf357d6dc7ff513f3137b5104b5c5af..2586926a194dc1a010cd2fbf934f7aad233ae2b9 100644
--- a/new-options.js
+++ b/new-options.js
@@ -800,14 +800,6 @@
     function(features)
     {
       hidePref("show_devtools_panel", !features.devToolsPanel);
-
-      // Only show option to switch between Safari Content Blockers
-      // and event based blocking if both are available.
-      hidePref("safari_contentblocker", !(
-        features.safariContentBlocker &&
-        "canLoad" in safari.self.tab &&
-        "onbeforeload" in Element.prototype
-      ));
     });
 
     var filterTextbox = document.querySelector("#custom-filters-add input");
@@ -1114,10 +1106,6 @@
       case "notifications_showui":
         hidePref("notifications_ignoredcategories", !value);
         break;
-
-      case "safari_contentblocker":
-        E("restart-safari").setAttribute("aria-hidden", value || initial);
-        break;
     }
 
     var checkbox = document.querySelector("[data-pref='" + key + "'] button[role='checkbox']");
@@ -1272,8 +1260,7 @@
   {
     type: "prefs.listen",
     filter: ["notifications_ignoredcategories", "notifications_showui",
-        "safari_contentblocker", "show_devtools_panel",
-        "shouldShowBlockElementMenu"]
+        "show_devtools_panel", "shouldShowBlockElementMenu"]
   });
   ext.backgroundPage.sendMessage(
   {