The HTML5 spec was recently changed (2025-07-22) to relax the parsing of <select> elements to enable the new "customisable select" feature (whatwg/html#9799). We should update html5ever the match the latest spec.
There is already #560 which attempts this, but it's from October 2024 so it may be outdated.
The HTML5 spec was recently changed (2025-07-22) to relax the parsing of
<select>elements to enable the new "customisable select" feature (whatwg/html#9799). We should update html5ever the match the latest spec.There is already #560 which attempts this, but it's from October 2024 so it may be outdated.