Issue 5315 - Add support for Microsoft Edge

inject.preload.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2017 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 156 matching lines @@
       dispatchEvent(new RealCustomEvent(eventName,
                                         {detail: {url, requestType}}));
     };
   }
 
   // Only to be called before the page's code, not hardened.
   function copyProperties(src, dest, properties)
   {
     for (let name of properties)
     {
-      Object.defineProperty(dest, name,
-                            Object.getOwnPropertyDescriptor(src, name));
+      if (src.hasOwnProperty(name))
+      {
+        Object.defineProperty(dest, name,
+                              Object.getOwnPropertyDescriptor(src, name));
+      }
     }
   }
 
   /*
    * WebSocket wrapper
    *
    * Required before Chrome 58, since the webRequest API didn't allow us to
    * intercept WebSockets.
    * See https://bugs.chromium.org/p/chromium/issues/detail?id=129353
    */
@@ skipping 204 matching lines @@
   if (typeof sandbox != "string" || /(^|\s)allow-scripts(\s|$)/i.test(sandbox))
   {
     let script = document.createElement("script");
     script.type = "application/javascript";
     script.async = false;
     script.textContent = "(" + injected + ")('" + randomEventName + "');";
     document.documentElement.appendChild(script);
     document.documentElement.removeChild(script);
   }
 }