mirror of
https://github.com/gorhill/uBlock.git
synced 2024-11-11 09:31:01 +01:00
01b1ed9a98
A new standalone static filtering parser is introduced, vAPI.StaticFilteringParser. It's purpose is to parse line of text into representation suitable for compiling filters. It can additionally serves for syntax highlighting purpose. As a side effect, this solves: - https://github.com/uBlockOrigin/uBlock-issues/issues/1038 This is a first draft, there are more work left to do to further perfect the implementation and extend its capabilities, especially those useful to assist filter authors. For the time being, this commits break line-continuation syntax highlighting -- which was already flaky prior to this commit anyway.
49 lines
1.9 KiB
HTML
49 lines
1.9 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<title>uBlock Origin</title>
|
|
</head>
|
|
<body>
|
|
<script src="js/console.js"></script>
|
|
<script src="lib/lz4/lz4-block-codec-any.js"></script>
|
|
<script src="lib/punycode.js"></script>
|
|
<script src="lib/publicsuffixlist/publicsuffixlist.js"></script>
|
|
<script src="js/webext.js"></script>
|
|
<script src="js/vapi.js"></script>
|
|
<script src="js/vapi-common.js"></script>
|
|
<script src="js/vapi-background.js"></script>
|
|
<script src="js/vapi-webrequest.js"></script><!-- Forks can pick the webext, chromium, or their own implementation -->
|
|
<script src="js/background.js"></script>
|
|
<script src="js/traffic.js"></script>
|
|
<script src="js/hntrie.js"></script>
|
|
<script src="js/strie.js"></script>
|
|
<script src="js/utils.js"></script>
|
|
<script src="js/uritools.js"></script>
|
|
<script src="js/lz4.js"></script>
|
|
<script src="js/cachestorage.js"></script>
|
|
<script src="js/assets.js"></script>
|
|
<script src="js/filtering-context.js"></script>
|
|
<script src="js/redirect-engine.js"></script>
|
|
<script src="js/dynamic-net-filtering.js"></script>
|
|
<script src="js/url-net-filtering.js"></script>
|
|
<script src="js/static-filtering-parser.js"></script>
|
|
<script src="js/static-net-filtering.js"></script>
|
|
<script src="js/static-ext-filtering.js"></script>
|
|
<script src="js/cosmetic-filtering.js"></script>
|
|
<script src="js/scriptlet-filtering.js"></script>
|
|
<script src="js/html-filtering.js"></script>
|
|
<script src="js/hnswitches.js"></script>
|
|
<script src="js/ublock.js"></script>
|
|
<script src="js/messaging.js"></script>
|
|
<script src="js/storage.js"></script>
|
|
<script src="js/logger.js"></script>
|
|
<script src="js/pagestore.js"></script>
|
|
<script src="js/tab.js"></script>
|
|
<script src="js/text-encode.js"></script>
|
|
<script src="js/contextmenu.js"></script>
|
|
<script src="js/reverselookup.js"></script>
|
|
<script src="js/start.js"></script>
|
|
<script src="js/commands.js"></script>
|
|
</body>
|
|
</html>
|