Changes between Version 1 and Version 3 of Ticket #3670


Ignore:
Timestamp:
02/19/2016 07:11:28 PM (3 years ago)
Author:
sebastian
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3670

    • Property Owner set to kzar
  • Ticket #3670 – Description

    v1 v3  
    99 
    1010=== What to change === 
    11 Set `trigger.url-filter-is-case-sensitive` to `true` for rules generated from filters that either specify the `$match_case` option, or can potentially only match the protocol + host part. These are filters with implied begin of host (starting with `||`) or filters that contain the protocol delimiter (`://`), but don't match any further alphabetic characters after the next occurrence of `/` (begin of path), `?` (begin of query), `*` (wildcard) or `^` (boundary), if any. 
     11Set `trigger.url-filter-is-case-sensitive` to `true` for rules generated from filters that either specify the `$match_case` option, or filters that can potentially only match the protocol + host part. These are: 
     12 
     13* Element hiding filters, as those can only be limited to a domain in the first place 
     14* Blocking filters and exception rules ... 
     15  * with implied begin of host (starting with `||`) or protocol delimiter (`://`) 
     16  * that don't match any further alpha characters after the next occurrence of any of these: 
     17    * `/` (begin of path) 
     18    * `?` (begin of query) 
     19    * `*` (wildcard) 
     20    * `^` (boundary)