Consider using `if-top-url/unless-top-url` in newer Safari versions

[ameshkov]

Example:
if-domain: [ "example.org", "*example.org" ] --> if-top-url: [ "^[htpsw]+:\\/\\/://([a-z0-9-]+\\.)?example.org/" ]

Ideally, we'll simply need a JSON built with this new approach. Once we have it, we'll be able to see how long it takes Safari to compile such a content blocker and whether it's faster or not.

[maximtop]

Regex from the subject is not correct, I've used the next one.

{
    "trigger": {
        "url-filter": ".*",
        "if-top-url": ["^[htpsw]+:\\/\\/([a-z0-9-]+\\.)?example.org"]
    },
    "action": {
        "type": "css-display-none",
        "selector": ".banner"
    }
}

I've generated random 50000 rules like example.org##.banner and reloaded content blocker.
Rules with if-domain trigger were loaded faster

• if-domain - 2.2 seconds
• if-top-url - 4.2 seconds

After that, I've tried the filter with real rules https://raw.githubusercontent.com/AdguardTeam/FiltersRegistry/master/filters/filter_2_English/filter.txt
And again rules with if-domain trigger were loaded faster

• if-domain - 6-8 seconds
• if-top-url - 9-12 seconds

With both kinds of triggers I didn't notice that the browser become slowly

[ameshkov]

We should do that experiment one more time after iOS 15 is out and we can create content blockers with 150k rules. I am not yet sure how important this slowdown will be.

[ameshkov]

UPDATE: Safari 18 supports using both if-top-url and if-domain in the same list.

This changes a lot.

1. For instance, we can use if-top-url for domain wildcards and regex domains ($domain=google.*, $domain=/.*\\.org/).
2. Additionally, it opens the path to support non-basic rule modifiers, i.e. [$path=/path]example.org##banner (we kind of already support that though)
3. In addition to that, it can solve mixed if-domain / unless issue for network rules in a similar way to what was proposed in Consider supporting mixed if-domain / unless-domain for cosmetic rules #66 (but using if-top-url + unless-domains) UPD: Cannot mix if-top-url and any unless-*.

[ameshkov]

Closing this one as duplicate of #100 and #101