From 4fb11cd5966461bccc3ed1599b808237be6b0de9 Mon Sep 17 00:00:00 2001 From: "Matt A. Tobin" Date: Sat, 10 Feb 2018 02:49:12 -0500 Subject: Move WebExtensions enabled Add-ons Manager --- toolkit/mozapps/webextensions/content/setting.xml | 486 ++++++++++++++++++++++ 1 file changed, 486 insertions(+) create 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 new file mode 100644 index 000000000..2b70eb0d0 --- /dev/null +++ b/toolkit/mozapps/webextensions/content/setting.xml @@ -0,0 +1,486 @@ + + + + +%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