From e4a3586a14996bbece3b26c9e3b7704ea6af8615 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@gnu.org>
Date: Sat, 28 Nov 2015 15:24:36 -0600
Subject: LibreJS upgraded to 6.0.10

---
 .../node_modules/pathfinder/lib/devtools/gcli.js   | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/devtools/gcli.js

(limited to 'data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/devtools/gcli.js')

diff --git a/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/devtools/gcli.js b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/devtools/gcli.js
new file mode 100644
index 0000000..e1bb17f
--- /dev/null
+++ b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/devtools/gcli.js
@@ -0,0 +1,23 @@
+'use strict';
+
+const { Cu } = require('chrome');
+const { when: unload } = require('unload');
+
+try {
+  // Starting with FF 23, gcli.jsm moved to another location
+  Cu.import("resource://gre/modules/devtools/gcli.jsm");
+} catch(e) {
+  try {
+    Cu.import("resource:///modules/devtools/gcli.jsm");
+  } catch(e) {
+    console.error("Unable to load gcli.jsm");
+  }
+}
+
+function addCommand(cmd) {
+  let name = cmd.name;
+  gcli.addCommand(cmd);
+  unload(gcli.removeCommand.bind(gcli, name));
+}
+exports.addCommand = addCommand;
+exports.removeCommand = gcli.removeCommand;
-- 
cgit v1.2.3