From 1e0da1994d03786571f4f97399595c5910f3a4c2 Mon Sep 17 00:00:00 2001 From: wolfbeast Date: Wed, 13 Feb 2019 19:25:03 +0100 Subject: Remove the WebExtension Add-on Manager from our tree. Tag #936 --- toolkit/mozapps/webextensions/content/setting.xml | 486 ---------------------- 1 file changed, 486 deletions(-) delete mode 100644 toolkit/mozapps/webextensions/content/setting.xml (limited to 'toolkit/mozapps/webextensions/content/setting.xml') diff --git a/toolkit/mozapps/webextensions/content/setting.xml b/toolkit/mozapps/webextensions/content/setting.xml deleted file mode 100644 index 2b70eb0d0..000000000 --- a/toolkit/mozapps/webextensions/content/setting.xml +++ /dev/null @@ -1,486 +0,0 @@ - - - - -%extensionsDTD; -]> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - false - document.getAnonymousElementByAttribute(this, "anonid", "input"); - - this.parentNode.localName == "settings" ? this.parentNode : null; - - - - - - - - - - - - &setting.learnmore; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - this.getElementsByTagName(this.getAttribute("type") == "radio" ? "radiogroup" : "menulist")[0]; - - - -- cgit v1.2.3