Issue 3487 - Add links to the help tab

new-options.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2016 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 807 matching lines @@
         filterTextbox.value = "";
       });
     }
     E("custom-filters-add").addEventListener("submit", function(e)
     {
       e.preventDefault();
       addCustomFilters();
     }, false);
     var customFilterEditButtons = document.querySelectorAll("#custom-filters-edit-wrapper button");
 
-    //Help tab

[Thomas Greiner, 2017/03/02 15:17:46]

Detail: Usually, we put a space between `//` and the start of the comment.

+    // Help tab
     getDocLink("faq", function(link)
     {
       E("link-faq").setAttribute("href", link);
     });
     getDocLink("social_twitter", function(link)
     {
       E("link-twitter").setAttribute("href", link);
     });
     getDocLink("social_facebook", function(link)
     {
@@ skipping 477 matching lines @@
   ext.backgroundPage.sendMessage(
   {
     type: "subscriptions.listen",
     filter: ["added", "disabled", "homepage", "lastDownload", "removed",
         "title", "downloadStatus", "downloading"]
   });
 
   window.addEventListener("DOMContentLoaded", onDOMLoaded, false);
   window.addEventListener("hashchange", onHashChange, false);
 })();