From 4a1333795f5daccbcdd198db2478f538db156048 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Mon, 10 Dec 2018 19:52:20 +0100
Subject: [PATCH] Add api/interceptor.py to check_coverage

---
 scripts/dev/check_coverage.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index 62c0b5142..d42ce1d71 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -204,6 +204,7 @@ WHITELISTED_FILES = [
     'browser/webkit/webkitinspector.py',
     'keyinput/macros.py',
     'browser/webkit/webkitelem.py',
+    'api/interceptor.py',
 ]