Prerequisites

• [x ] I verified that this is not a filter issue
  • Filter issues MUST be reported at filter issue tracker
• [x ] This is not a support issue or a question
  • Support issues and questions are handled at /r/uBlockOrigin
• [x ] I performed a cursory search of the issue tracker to avoid opening a duplicate issue
  • Your issue may already be reported.
• I tried to reproduce the issue when...
  • uBlock Origin is the only extension
  • uBlock Origin with default lists/settings
  • using a new, unmodified browser profile
• [x ] I am running the latest version of uBlock Origin
• I checked the documentation to understand that the issue I report is not a normal behavior

Description

https://github.com/MajkiIT/polish-ads-filter/blob/master/polish-adblock-filters/adblock.txt#L27

gorhill/uBlock#3638
olegwukr/polish-privacy-filters#14

Steps to Reproduce

1. add this test list to your ubo
   https://raw.githubusercontent.com/KonoromiHimaries/test-repo/master/test.txt
2. test it

Expected behavior:

work

!#if !ext_ublock
!#include test-inc.txt
!#endif

Actual behavior:

not work

!#if !ext_ublock
!#include test-inc.txt
!#endif

! >>>>>>>> https://raw.githubusercontent.com/KonoromiHimaries/test-repo/master/test-inc.txt
test
test
test
! <<<<<<<< https://raw.githubusercontent.com/KonoromiHimaries/test-repo/master/test-inc.txt

Your environment

• uBlock Origin version: latest stable
• Browser Name and version: chrome latest stable
• Operating System and version: w10