@91c10b93 but doesn't that strip the `required` attribute?
@2fd7551e I think that line (if we're talking about the same part, line 2498) is saying if html5 required else required="required" So the more verbose version for xhtml