pub const WEBKIT_WEB_EXTENSION_MATCH_PATTERN_OPTIONS_IGNORE_PATHS: WebKitWebExtensionMatchPatternOptions = 4;