From fe580a8e5a0c0eaa17d88d48051fae4eb542ccce Mon Sep 17 00:00:00 2001
From: Johann-S <johann.servoire@gmail.com>
Date: Mon, 11 Jun 2018 21:32:16 +0200
Subject: [PATCH] fix(polyfill): disable coverage for our polyfills

---
 js/src/dom/polyfill.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/src/dom/polyfill.js b/js/src/dom/polyfill.js
index 2c811c25af..159884df89 100644
--- a/js/src/dom/polyfill.js
+++ b/js/src/dom/polyfill.js
@@ -7,6 +7,7 @@ import Util from '../util'
  * --------------------------------------------------------------------------
  */
 
+/* istanbul ignore next */
 const Polyfill = (() => {
   // defaultPrevented is broken in IE
   const workingDefaultPrevented = (() => {
-- 
2.47.2