こんにちは TAG-さん!

I'm requesting a TAG review of the proposal to use the RegExp v flag instead of u for the HTML pattern attribute.

Summary

Using the new RegExp v flag instead of u would enable the use of set notation, string literal syntax, and Unicode properties of strings within pattern attribute values.

Explainer

This proposal makes the pattern attribute more powerful, enabling the use of set notation, string literal syntax, and Unicode properties of strings.

Differences with the previous u flag-based behavior:

• [FEATURE] Previously invalid patterns now become valid, e.g.

  pattern="[\p{ASCII_Hex_Digit}--[Ff]]"
  pattern="\p{RGI_Emoji}"
  pattern="[_\q{a|bc|def}]"
  

  For more useful examples of the RegExp v flag, see the relevant feature explainer.

• [BREAKING CHANGE] Some previously valid patterns are now errors, specifically those with a character class including either an unescaped special character ( ) [ ] { } / - \ | or a double punctuator:

  pattern="[(]"
  pattern="[)]"
  pattern="[[]"
  pattern="[{]"
  pattern="[}]"
  pattern="[/]"
  pattern="[-]"
  pattern="[|]"
  pattern="[&&]"
  pattern="[!!]"
  pattern="[##]"
  pattern="[$$]"
  pattern="[%%]"
  pattern="[**]"
  pattern="[++]"
  pattern="[,,]"
  pattern="[..]"
  pattern="[::]"
  pattern="[;;]"
  pattern="[<<]"
  pattern="[==]"
  pattern="[>>]"
  pattern="[??]"
  pattern="[@@]"
  pattern="[``]"
  pattern="[~~]"
  pattern="[_^^]"
  

  Throwing patterns result in inputElement.validity.valid === true for any input value, so the only compatibility risk is that some value/pattern combinations that would previously result in inputElement.validity.valid === false now result in inputElement.validity.valid === true.

• Other previously valid patterns still behave the same. (Other than the abovementioned features, the v flags only differs in behavior from the u flag w.r.t. case-insensitive matching, but the pattern attribute uses case-sensitive matching.)

Note that the breaking changes mostly apply to somewhat esoteric edge cases that can easily be avoided. In the worst case, this could cause previously invalid input to now be considered valid (since throwing patterns result in inputElement.validity.valid === true for any input value, as if the pattern attribute wasn’t there). In other words, the only Web Compat risk is that a website without server-side validation would suddenly allow submission of values that would previously be prevented by the client-side pattern. All currently allowed inputs would still be accepted, just as they did previously.

IMHO making the change is worth it given the powerful new functionality it brings, and the relatively small compatibility risk. This is reminiscent of the discussion in https://github.com/whatwg/html/issues/439 (but in a different direction).

For context, here’s a few pointers w.r.t. when we decided to implicitly enable the u flag for the pattern attribute in the first place:

• Bug/proposal: https://www.w3.org/Bugs/Public/show_bug.cgi?id=26915
• Commit: https://github.com/whatwg/html/commit/0fa713879d902d8ada81d80aa458deaf0b284b4f
• Discussion w.r.t. backwards compatibility: https://github.com/whatwg/html/issues/439

Checklist

• Specification URL: https://github.com/whatwg/html/pull/7908
• Tests: https://github.com/web-platform-tests/wpt/pull/38547
• User research: N/A
• Security and Privacy self-review²: N/A. This is a small change to an already-existing feature.
• GitHub repo (if you prefer feedback filed there): N/A
• Primary contacts (and their relationship to the specification):
  • Mathias Bynens (@mathiasbynens, Google, proposal author)
• Organization(s)/project(s) driving the specification: Google Chrome team
• Key pieces of existing multi-stakeholder review or discussion of this specification:
  • Mozilla standards position request
  • WebKit standards position request
  • Some stakeholder discussion in the comments on the spec PR
• External status/issue trackers for this specification (publicly visible, e.g. Chrome Status):
  • Chromium/Chrome: https://chromestatus.com/feature/5149507107422208 + https://bugs.chromium.org/p/chromium/issues/detail?id=1412729
  • Gecko/Firefox: https://bugzilla.mozilla.org/show_bug.cgi?id=pattern-v
  • WebKit/Safari: https://bugs.webkit.org/show_bug.cgi?id=pattern-v

Further details

• I have reviewed the TAG's Web Platform Design Principles
• Relevant time constraints or deadlines: N/A
• The group where the work on this specification is currently being done: Spec-wise this is a minor change to the existing HTML pattern attribute. The work is in the form of a PR to the WHATWG HTML Standard.
• Major unresolved issues with or opposition to this specification: So far, all stakeholders seem in favor of the proposal. The one open question is whether this change is Web Compatible. We’ve implemented a Chrome UseCounter giving us the upper bound of potential compat issues. None of the UseCounter hits so far (see analysis starting with comment #11 on the crbug) constitute an issue in practice.
• This work is being funded by: Google GmbH

We'd prefer the TAG provide feedback as (please delete all but the desired option):

💬 leave review feedback as a comment in this issue and @-notify mathiasbynens