The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/base/content/pageinfo/feeds.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,62 @@
     1.4 +/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
     1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +
     1.9 +XPCOMUtils.defineLazyModuleGetter(this, "Feeds",
    1.10 +  "resource:///modules/Feeds.jsm");
    1.11 +
    1.12 +function initFeedTab()
    1.13 +{
    1.14 +  const feedTypes = {
    1.15 +    "application/rss+xml": gBundle.getString("feedRss"),
    1.16 +    "application/atom+xml": gBundle.getString("feedAtom"),
    1.17 +    "text/xml": gBundle.getString("feedXML"),
    1.18 +    "application/xml": gBundle.getString("feedXML"),
    1.19 +    "application/rdf+xml": gBundle.getString("feedXML")
    1.20 +  };
    1.21 +
    1.22 +  // get the feeds
    1.23 +  var linkNodes = gDocument.getElementsByTagName("link");
    1.24 +  var length = linkNodes.length;
    1.25 +  for (var i = 0; i < length; i++) {
    1.26 +    var link = linkNodes[i];
    1.27 +    if (!link.href)
    1.28 +      continue;
    1.29 +
    1.30 +    var rel = link.rel && link.rel.toLowerCase();
    1.31 +    var rels = {};
    1.32 +    if (rel) {
    1.33 +      for each (let relVal in rel.split(/\s+/))
    1.34 +        rels[relVal] = true;
    1.35 +    }
    1.36 +
    1.37 +    if (rels.feed || (link.type && rels.alternate && !rels.stylesheet)) {
    1.38 +      var type = Feeds.isValidFeed(link, gDocument.nodePrincipal, "feed" in rels);
    1.39 +      if (type) {
    1.40 +        type = feedTypes[type] || feedTypes["application/rss+xml"];
    1.41 +        addRow(link.title, type, link.href);
    1.42 +      }
    1.43 +    }
    1.44 +  }
    1.45 +
    1.46 +  var feedListbox = document.getElementById("feedListbox");
    1.47 +  document.getElementById("feedTab").hidden = feedListbox.getRowCount() == 0;
    1.48 +}
    1.49 +
    1.50 +function onSubscribeFeed()
    1.51 +{
    1.52 +  var listbox = document.getElementById("feedListbox");
    1.53 +  openUILinkIn(listbox.selectedItem.getAttribute("feedURL"), "current",
    1.54 +               { ignoreAlt: true });
    1.55 +}
    1.56 +
    1.57 +function addRow(name, type, url)
    1.58 +{
    1.59 +  var item = document.createElement("richlistitem");
    1.60 +  item.setAttribute("feed", "true");
    1.61 +  item.setAttribute("name", name);
    1.62 +  item.setAttribute("type", type);
    1.63 +  item.setAttribute("feedURL", url);
    1.64 +  document.getElementById("feedListbox").appendChild(item);
    1.65 +}