From d245c757d20a65603b980fd288df6fdd24fd459e Mon Sep 17 00:00:00 2001 From: jspenguin2017 Date: Mon, 10 Jun 2019 19:31:11 -0600 Subject: [PATCH] remove old rules --- src/content/rules-common.js | 1 + src/content/rules-specific.js | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/content/rules-common.js b/src/content/rules-common.js index 1163f677b6..ddeb53e2d2 100644 --- a/src/content/rules-common.js +++ b/src/content/rules-common.js @@ -157,6 +157,7 @@ "ostrzeszowinfo.pl", "pasty.link", "pokyun.tv", + "reevown.com", "shinden.pl", "socketloop.com", "sport-tv-guide.live", diff --git a/src/content/rules-specific.js b/src/content/rules-specific.js index f4d8a0d5c1..0944ab5f16 100644 --- a/src/content/rules-specific.js +++ b/src/content/rules-specific.js @@ -2329,7 +2329,7 @@ if (a.domCmp(["gamejolt.net"])) { if (a.domCmp(["dilidili.wang"])) { a.filter("addEventListener", a.matchMethod.stringExact, "DOMNodeInserted", "window.document"); } -if (a.domCmp(["dilidili.wang", "reevown.com"])) { +if (a.domCmp(["dilidili.wang"])) { a.antiCollapse("innerHTML", (elem) => elem === window.document.body); } if (a.domCmp(["gamekit.com"])) {