Issue 5803 - rename new-options to options

ext/background.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present 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 62 matching lines @@
         this._keys.splice(index, 1);
         this._values.splice(index, 1);
       }
     }
   };
 
   window.ext.PageMap = PageMap;
 
   window.ext.showOptions = function(callback)
   {
-    if (!/\/(?:mobile|new)-options\.html/.test(top.location.href))
+    if (!/\/(?:mobile-options|options)\.html/.test(top.location.href))

[Thomas Greiner, 2017/09/29 16:51:09]

Detail: The "options" part is duplicated so I'd suggest writing it as
`/\/(?:mobile-)?options\.html/` instead

[saroyanm, 2017/09/29 17:09:32]

Good one, done.

       window.open("new-options.html", "_blank");

[Thomas Greiner, 2017/09/29 16:51:09]

This string needs to be changed as well.

[saroyanm, 2017/09/29 17:09:32]

Right! Well spotted. Done.

 
     if (callback)
       callback();
   };
 
   window.ext.devtools = {
     onCreated: {
       addListener(listener)
       {
         window.addEventListener("message", (event) =>
         {
           if (event.data.type == "devtools")
             listener(new ext.Page(event.source));
         });
       }
     }
   };
 }());