WebURLURLPatternOptions.ignoreCaseproperty URLPatternOptions.ignoreCaseEnables case-insensitive matching. Type #boolean