Auto merge of #25407 - pshaughn:radiocase, r=jdm

Radio button grouping is now case-sensitive

Just catching up with a spec update, as explained in #25389

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #25389

<!-- Either: -->
- [X] There are tests for these changes
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->

components/script/dom/htmlinputelement.rs

@@ -46,7 +46,6 @@ use crate::textinput::KeyReaction::{
 };
 use crate::textinput::Lines::Single;
 use crate::textinput::{Direction, SelectionDirection, TextInput, UTF16CodeUnits, UTF8Bytes};
-use caseless::compatibility_caseless_match_str;
 use dom_struct::dom_struct;
 use embedder_traits::FilterPattern;
 use encoding_rs::Encoding;
@@ -917,7 +916,7 @@ fn in_same_group(
     // TODO Both a and b are in the same home subtree.
     other.form_owner().as_deref() == owner &&
     match (other.radio_group_name(), group) {
-        (Some(ref s1), Some(s2)) => compatibility_caseless_match_str(s1, s2) && s2 != &atom!(""),
+        (Some(ref s1), Some(s2)) => s1 == s2 && s2 != &atom!(""),
         _ => false
     }
 }