Remove the addon-sdk from the repo, and download it on demand

1 files changed, 0 insertions, 32 deletions

diff --git a/tools/addon-sdk-1.12/lib/sdk/simple-prefs.js b/tools/addon-sdk-1.12/lib/sdk/simple-prefs.js
deleted file mode 100644
index 5cbde49..0000000
--- a/tools/addon-sdk-1.12/lib/sdk/simple-prefs.js
+++ /dev/null
@@ -1,32 +0,0 @@
-/* This Source Code Form is subject to the terms of the Mozilla Public
- * License, v. 2.0. If a copy of the MPL was not distributed with this
- * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
-'use strict';
-
-module.metadata = {
-  "stability": "experimental"
-};
-
-const { emit, off } = require("./event/core");
-const { when: unload } = require("./system/unload");
-const { PrefsTarget } = require("./preferences/event-target");
-const { id } = require("./self");
-const observers = require("./deprecated/observer-service");
-
-const ADDON_BRANCH = "extensions." + id + ".";
-const BUTTON_PRESSED = id + "-cmdPressed";
-
-const target = PrefsTarget({ branchName: ADDON_BRANCH });
-
-// Listen to clicks on buttons
-function buttonClick(subject, data) {
-  emit(target, data);
-}
-observers.add(BUTTON_PRESSED, buttonClick);
-
-// Make sure we cleanup listeners on unload.
-unload(function() {
-  observers.remove(BUTTON_PRESSED, buttonClick);
-});
-
-module.exports = target;