Issue 3816 - Add hidden toggle for the new options page

safari/ext/background.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 545 matching lines @@
       change.oldValue = event.oldValue;
     if (event.newValue != null)
       change.newValue = event.newValue;
 
     ext.storage.onChanged._dispatch(changes);
   });
 
 
   /* Options */
 
-  ext.showOptions = function(callback)
+  ext.showOptions = function(newOptionsPage, callback)
   {
-    var optionsUrl = safari.extension.baseURI + "options.html";
+    var optionsUrl = safari.extension.baseURI +
+                       (newOptionsPage ? "new-" : "") + "options.html";
 
     for (var id in pages)
     {
       var page = pages[id];
       var tab = page._tab;
 
       if (page.url.href == optionsUrl && tab.browserWindow == safari.application.activeBrowserWindow)
       {
         tab.activate();
         if (callback)
           callback(page);
         return;
       }
     }
 
     ext.pages.open(optionsUrl, callback);
   };
 
   /* Windows */
   ext.windows = {
     // Safari doesn't provide as rich a windows API as Chrome does, so instead
     // of chrome.windows.create we have to fall back to just opening a new tab.
     create: function(createData, callback)
     {
       ext.pages.open(createData.url, callback);
     }
   };
 })();