From 6770b5e366c28c7b2378bef29c5817a45eb45214 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@gnu.org>
Date: Tue, 22 Dec 2015 18:00:51 -0600
Subject: Updated LibreJS from 6.0.10 pre-release to 6.0.10 final

---
 .../pathfinder/lib/scriptish/greasemonkey-api.js   | 152 ++++++++++-----------
 1 file changed, 76 insertions(+), 76 deletions(-)

(limited to 'data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js')

diff --git a/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js
index e465883..2aa4b8f 100644
--- a/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js
+++ b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js
@@ -1,76 +1,76 @@
-'use strict';
-
-var { Services } = require("services");
-var prefService = require("preferences-service");
-var tabs = require("tabs");
-var clipboard = require("clipboard");
-var {GM_xmlhttpRequester} = require("GM_xmlhttpRequester");
-
-const NS_XHTML = "http://www.w3.org/1999/xhtml";
-
-function GM_API(aScript, aURL, aWinID, aSafeWin, aUnsafeContentWin, aChromeWin) {
-  var document = aSafeWin.document;
-  var windowID = aWinID;
-  var xhr = new GM_xmlhttpRequester(aUnsafeContentWin, aURL, aScript);
-
-  this.GM_addStyle = function GM_addStyle(css) {
-    var head = document.getElementsByTagName("head")[0];
-    var style = document.createElement("style");
-    if (head) {
-      style.textContent = css;
-      style.type = "text/css";
-      head.appendChild(style);
-    }
-    return style;
-  };
-
-  // TODO: use simple storage
-  this.GM_getValue = function GM_getValue(name, defVal) {
-    return prefService.get(aScript.prefPrefix + name, defVal);
-  };
-  this.GM_setValue = function GM_setValue(name, val) {
-    return prefService.set(aScript.prefPrefix + name, val);
-  };
-
-  this.GM_safeHTMLParser = function GM_safeHTMLParser(aHTMLStr) {
-    //if (!GM_apiLeakCheck("GM_safeHTMLParser")) return;
-    let doc = document.implementation.createDocument(NS_XHTML, "html", null);
-    let body = document.createElementNS(NS_XHTML, "body");
-    doc.documentElement.appendChild(body);
-    body.appendChild(Services.suhtml.parseFragment(aHTMLStr, false, null, body));
-    return doc;
-  }
-
-  this.GM_xmlhttpRequest = function GM_xmlhttpRequest() {
-    //if (!GM_apiLeakCheck("GM_xmlhttpRequest")) return;
-    return xhr.contentStartRequest.apply(xhr, arguments);
-  };
-};
-exports.GM_API = GM_API;
-
-GM_API.prototype.GM_openInTab =
-    function GM_openInTab(aURL, aLoadInBackground, aReuse) {
-  if (aReuse) {
-    for each (var tab in tabs) {
-      if (tab.url == aURL) {
-        if (!aLoadInBackground)
-          tab.activate();
-        return;
-      }
-    }
-  }
-
-  tabs.open({
-    url: aURL,
-    inBackground: aLoadInBackground
-  });
-};
-
-GM_API.prototype.GM_setClipboard = function GM_setClipboard(aData, aType) {
-  return clipboard.set(aData, aType);
-};
-
-GM_API.prototype.GM_generateUUID = function GM_generateUUID() (
-    Services.uuid.generateUUID().toString());
-
-GM_API.prototype.GM_registerMenuCommand = function() {};
+'use strict';
+
+var { Services } = require("services");
+var prefService = require("preferences-service");
+var tabs = require("tabs");
+var clipboard = require("clipboard");
+var {GM_xmlhttpRequester} = require("GM_xmlhttpRequester");
+
+const NS_XHTML = "http://www.w3.org/1999/xhtml";
+
+function GM_API(aScript, aURL, aWinID, aSafeWin, aUnsafeContentWin, aChromeWin) {
+  var document = aSafeWin.document;
+  var windowID = aWinID;
+  var xhr = new GM_xmlhttpRequester(aUnsafeContentWin, aURL, aScript);
+
+  this.GM_addStyle = function GM_addStyle(css) {
+    var head = document.getElementsByTagName("head")[0];
+    var style = document.createElement("style");
+    if (head) {
+      style.textContent = css;
+      style.type = "text/css";
+      head.appendChild(style);
+    }
+    return style;
+  };
+
+  // TODO: use simple storage
+  this.GM_getValue = function GM_getValue(name, defVal) {
+    return prefService.get(aScript.prefPrefix + name, defVal);
+  };
+  this.GM_setValue = function GM_setValue(name, val) {
+    return prefService.set(aScript.prefPrefix + name, val);
+  };
+
+  this.GM_safeHTMLParser = function GM_safeHTMLParser(aHTMLStr) {
+    //if (!GM_apiLeakCheck("GM_safeHTMLParser")) return;
+    let doc = document.implementation.createDocument(NS_XHTML, "html", null);
+    let body = document.createElementNS(NS_XHTML, "body");
+    doc.documentElement.appendChild(body);
+    body.appendChild(Services.suhtml.parseFragment(aHTMLStr, false, null, body));
+    return doc;
+  }
+
+  this.GM_xmlhttpRequest = function GM_xmlhttpRequest() {
+    //if (!GM_apiLeakCheck("GM_xmlhttpRequest")) return;
+    return xhr.contentStartRequest.apply(xhr, arguments);
+  };
+};
+exports.GM_API = GM_API;
+
+GM_API.prototype.GM_openInTab =
+    function GM_openInTab(aURL, aLoadInBackground, aReuse) {
+  if (aReuse) {
+    for each (var tab in tabs) {
+      if (tab.url == aURL) {
+        if (!aLoadInBackground)
+          tab.activate();
+        return;
+      }
+    }
+  }
+
+  tabs.open({
+    url: aURL,
+    inBackground: aLoadInBackground
+  });
+};
+
+GM_API.prototype.GM_setClipboard = function GM_setClipboard(aData, aType) {
+  return clipboard.set(aData, aType);
+};
+
+GM_API.prototype.GM_generateUUID = function GM_generateUUID() (
+    Services.uuid.generateUUID().toString());
+
+GM_API.prototype.GM_registerMenuCommand = function() {};
-- 
cgit v1.2.3