mirror of
https://github.com/servo/servo.git
synced 2025-08-12 17:05:33 +01:00
Auto merge of #7777 - KiChjang:caseless-group-name-match, r=jdm
Add support for caseless group name matching in HTML input elements Fixes #7749 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7777) <!-- Reviewable:end -->
This commit is contained in:
commit
e9842b7db2
6 changed files with 19 additions and 23 deletions
|
@ -91,3 +91,4 @@ euclid = "0.2"
|
|||
tendril = "0.1.1"
|
||||
rand = "0.3"
|
||||
serde = "0.6"
|
||||
caseless = "0.1.0"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue