Skip to content

Precedence of redirect and important filters #131

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
antonok-edm opened this issue Aug 27, 2020 · 0 comments · Fixed by #136
Closed

Precedence of redirect and important filters #131

antonok-edm opened this issue Aug 27, 2020 · 0 comments · Fixed by #136
Assignees
@antonok-edm
Labels
bug Something isn't working

Comments

@antonok-edm
Copy link
Collaborator

Currently adblock-rust treats any redirect filters distinctly from blocking filters, and important is used as a precedence-increase for any kinds of rules. It appears uBO has slightly different semantics for these two options, and we should make sure we are treating both the same way.

uBlockOrigin/uBlock-issues#1224 has more details.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@antonok-edm antonok-edm

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Redirect important pt2 brave/adblock-rust
1 participant
@antonok-edm